The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002