 | 2002 |
|---|
| 10 |       | Raymond D. Gumb:
The Lazy Logic of Partial Terms.
J. Symb. Log. 67(3): 1065-1077 (2002) |
| 2001 |
|---|
| 9 | | 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 |
|---|
| 8 | | Raymond D. Gumb:
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions.
TABLEAUX 2000: 268-278 |
| 1989 |
|---|
| 7 |  | Raymond D. Gumb:
Programming logics - an introduction to verification and semantics.
Wiley 1989: I-XVII, 1-334 |
| 6 | | Raymond 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 |
|---|
| 4 | | Raymond 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 |
|---|
| 1 | | Raymond D. Gumb:
The inapplicability of the dictionary - Encyclopedia distinction to the semantics of natural languages.
Information Storage and Retrieval 6(6): 445-452 (1971) |
Data released under the ODC-BY 1.0 license — See also our legal information page