Dominique Pastre

Publication Activity (10 Years)

Years Active: 1978-2002
Publications (10 Years): 0

Publications

Dominique Pastre
Utilisation de dessins en résolution de problèmes. Rev. d'Intelligence Artif. 16 (1-2) (2002)
Dominique Pastre
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. AI Commun. 15 (2-3) (2002)
Dominique Pastre
MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. IJCAR (2001)
Dominique Pastre
Compétitions de démonstrateurs de théorèmes. Rev. d'Intelligence Artif. 15 (2) (2001)
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)
Thierry Larue, Dominique Pastre, Yann Viémont
Strong Integration of Spatial Domains and Operators in a relational Database System. SSD (1993)
Dominique Pastre
Automated Theorem Proving in Mathematics. Ann. Math. Artif. Intell. 8 (3-4) (1993)
Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora
Managing Complex Objects in an Extensible Relational DBMS. VLDB (1989)
Dominique Pastre
MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. Artif. Intell. 38 (3) (1989)
Dominique Pastre
A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving. ECAI (1982)
Dominique Pastre
Knowledge-Based Theorem Proving. GI Jahrestagung (1980)
Dominique Pastre
A Humanlike Approach for Automatic Theorem Proving. AISB/GI (ECAI) (1978)
Dominique Pastre
Automatic Theorem Proving in Set Theory. Artif. Intell. 10 (1) (1978)