Search the dblp DataBase

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]