D. Pastre

发表

Complementarity of a Natural Deduction Knowledge-Based Prover and Resolution-Based Provers in Automated Theorem Proving

D. Pastre, 2007 .

Mathematical Theorem Proving , from Muscadet 0 to Muscadet 4 ∗ , Why and How

D. Pastre, 2014 .

Natural Proof Search and Proof Writing

D. Pastre, 2010 .

Strong Integration of Spatial Domains and Operators in a relational Database System

Dominique Pastre, Yann Viémont, Thierry Larue, 1993, SSD.

MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics

Dominique Pastre, D. Pastre, 1989, Artif. Intell..

A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving

Dominique Pastre, D. Pastre, 1982, European Conference on Artificial Intelligence.

Automated theorem proving in mathematics

Dominique Pastre, D. Pastre, 1993, Annals of Mathematics and Artificial Intelligence.

MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction

Dominique Pastre, D. Pastre, 2001, IJCAR.

Advances in Spatial Databases

Agnès Voisard, Michel Scholl, Curtis P. Kolovson, 2012 .