Gumb, Raymond D.

2 publications

AAAI 1987 Filming a Terrain Under Uncertainty Using Temporal and Probahilistic Reasoning Raymond D. Gumb

IJCAI 1977 A Mechanized Proof Procedure for Free Intensional Logics Raymond D. Gumb