The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raymond D. Gumb: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.010secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002