Dominique Pastre Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2002
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. AI Commun. 15(2-3): 147-160 (2002)
2001
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. IJCAR 2001: 685-689
1994
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDidier 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. SAC 1994: 328-332
1993
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Larue, Dominique Pastre, Yann Viémont: Strong Integration of Spatial Domains and Operators in a relational Database System. SSD 1993: 53-72
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: Automated Theorem Proving in Mathematics. Ann. Math. Artif. Intell. 8(3-4): 425-447 (1993)
1989
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora: Managing Complex Objects in an Extensible Relational DBMS. VLDB 1989: 55-65
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. Artif. Intell. 38(3): 257-318 (1989)
1982
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving. ECAI 1982: 116-118
1980
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: Knowledge-Based Theorem Proving. GI Jahrestagung 1980: 429
1978
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: A Humanlike Approach for Automatic Theorem Proving. AISB/GI (ECAI) 1978: 248-252
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Pastre: Automatic Theorem Proving in Set Theory. Artif. Intell. 10(1): 1-27 (1978)

Coauthor Index

1Jean-Pierre Cheiney [6]
2Didier Chrétien [9]
3Georges Gardarin [6]
4Jerry Kiernan (Gerald Kiernan) [6]
5Thierry Larue [8] [9]
6R. Legoff [9]
7Hervé Stora [6]
8Yann Viémont [8] [9]

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)