 | 2002 |
|---|
| 11 |       | Dominique Pastre:
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC.
AI Commun. 15(2-3): 147-160 (2002) |
| 2001 |
|---|
| 10 | | Dominique Pastre:
MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction.
IJCAR 2001: 685-689 |
| 1994 |
|---|
| 9 | | 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.
SAC 1994: 328-332 |
| 1993 |
|---|
| 8 | | Thierry 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 |
|---|
| 6 | | Georges 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) |
