dblp.uni-trier.dewww.uni-trier.de

Dominique Pastre Vis

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

*2002
11EEDominique Pastre: Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. AI Commun. 15(2-3): 147-160 (2002)
2001
10EEDominique Pastre: MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. IJCAR 2001: 685-689
1994
9EEDidier 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
8EEThierry Larue, Dominique Pastre, Yann Viémont: Strong Integration of Spatial Domains and Operators in a relational Database System. SSD 1993: 53-72
7 Dominique Pastre: Automated Theorem Proving in Mathematics. Ann. Math. Artif. Intell. 8(3-4): 425-447 (1993)
1989
6EEGeorges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora: Managing Complex Objects in an Extensible Relational DBMS. VLDB 1989: 55-65
5 Dominique Pastre: MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. Artif. Intell. 38(3): 257-318 (1989)
1982
4 Dominique Pastre: A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving. ECAI 1982: 116-118
1980
3 Dominique Pastre: Knowledge-Based Theorem Proving. GI Jahrestagung 1980: 429
1978
2 Dominique Pastre: A Humanlike Approach for Automatic Theorem Proving. AISB/GI (ECAI) 1978: 248-252
1 Dominique 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)