dblp.uni-trier.dewww.uni-trier.de

Raymond D. Gumb Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
9 Raymond D. Gumb: The Lazy Logic of Partial Terms. J. Symb. Log. 67(3): 1065-1077 (2002)
2001
8 Raymond D. Gumb: An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Studia Logica 69(2): 279-292 (2001)
2000
7 Raymond D. Gumb: Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions. TABLEAUX 2000: 268-278
1989
6EERaymond D. Gumb: A first course in program verification and the semantics of programming languages. SIGCSE 1989: 146-150
1987
5 Raymond D. Gumb: Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning. AAAI 1987: 116-120
1986
4EERaymond D. Gumb: Popperian conditional probability functions for expert systems (abstract). ACM Conference on Computer Science 1986: 461
1984
3 Raymond D. Gumb: An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality. J. Symb. Log. 49(1): 174-183 (1984)
1977
2 Raymond D. Gumb: A Mechanized Proof Procedure for Free Intensional Logics. IJCAI 1977: 567-568
1971
1EERaymond D. Gumb: The inapplicability of the dictionary - Encyclopedia distinction to the semantics of natural languages. Information Storage and Retrieval 6(6): 445-452 (1971)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)