The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dominique Pastre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora
    Managing Complex Objects in an Extensible Relational DBMS. [Citation Graph (9, 20)][DBLP]
    VLDB, 1989, pp:55-65 [Conf]
  2. Thierry Larue, Dominique Pastre, Yann Viémont
    Strong Integration of Spatial Domains and Operators in a relational Database System. [Citation Graph (1, 0)][DBLP]
    SSD, 1993, pp:53-72 [Conf]
  3. Dominique Pastre
    MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:685-689 [Conf]
  4. Dominique Pastre
    A Humanlike Approach for Automatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:248-252 [Conf]
  5. Dominique Pastre
    A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
    ECAI, 1982, pp:116-118 [Conf]
  6. Dominique Pastre
    Knowledge-Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:429- [Conf]
  7. Didier Chrétien, Yann Viémont, Thierry Larue, R. Legoff, Dominique Pastre
    The GéoSabrina design: the way to build a GIS above a spatial data server. [Citation Graph (0, 0)][DBLP]
    SAC, 1994, pp:328-332 [Conf]
  8. Dominique Pastre
    Automatic Theorem Proving in Set Theory. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1978, v:10, n:1, pp:1-27 [Journal]
  9. Dominique Pastre
    MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1989, v:38, n:3, pp:257-318 [Journal]
  10. Dominique Pastre
    Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2002, v:15, n:2-3, pp:147-160 [Journal]
  11. Dominique Pastre
    Automated Theorem Proving in Mathematics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:425-447 [Journal]

Search in 0.000secs, Finished in 0.001secs
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