Dominique Pastre

13 papers A* 1A 2Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2002 J jnl
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC.
AI Commun.
Dominique Pastre
2002 J jnl
Utilisation de dessins en résolution de problèmes.
Rev. d'Intelligence Artif.
Dominique Pastre
2001 J jnl
Compétitions de démonstrateurs de théorèmes.
Rev. d'Intelligence Artif.
Dominique Pastre
2001 A conf
MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction.
IJCAR
Dominique Pastre
1994 Misc conf
The GéoSabrina design: the way to build a GIS above a spatial data server.
SAC
Didier Chrétien, Yann Viémont, Thierry Larue, R. Legoff, Dominique Pastre
1993 J jnl
Automated Theorem Proving in Mathematics.
Ann. Math. Artif. Intell.
Dominique Pastre
1993 — conf
Strong Integration of Spatial Domains and Operators in a relational Database System.
SSD
Thierry Larue, Dominique Pastre, Yann Viémont
1989 J jnl
MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics.
Artif. Intell.
Dominique Pastre
1989 A* conf
Managing Complex Objects in an Extensible Relational DBMS.
VLDB
Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora
1982 A conf
A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving.
ECAI
Dominique Pastre
1980 — conf
Knowledge-Based Theorem Proving.
GI Jahrestagung
Dominique Pastre
1978 — conf
A Humanlike Approach for Automatic Theorem Proving.
AISB/GI (ECAI)
Dominique Pastre
1978 J jnl
Automatic Theorem Proving in Set Theory.
Artif. Intell.
Dominique Pastre