Dominique Pastre

According to our database, Dominique Pastre authored at least 13 papers between 1978 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Utilisation de dessins en résolution de problèmes.

Dominique Pastre

Rev. d'Intelligence Artif., 2002

Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC.

Dominique Pastre

AI Commun., 2002

2001

Compétitions de démonstrateurs de théorèmes.

Dominique Pastre

Rev. d'Intelligence Artif., 2001

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

Dominique Pastre

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1994

The GéoSabrina design: the way to build a GIS above a spatial data server.

Didier Chrétien, Yann Viémont, Thierry Larue, R. Legoff, Dominique Pastre

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

1993

Automated Theorem Proving in Mathematics.

Dominique Pastre

Ann. Math. Artif. Intell., 1993

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

Thierry Larue, Dominique Pastre, Yann Viémont

Proceedings of the Advances in Spatial Databases, 1993

1989

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

Dominique Pastre

Artif. Intell., 1989

Managing Complex Objects in an Extensible Relational DBMS.

Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora

Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989

1982

A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving.

Dominique Pastre

Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1980

Knowledge-Based Theorem Proving.

Dominique Pastre

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1978

Automatic Theorem Proving in Set Theory.

Dominique Pastre

Artif. Intell., 1978

A Humanlike Approach for Automatic Theorem Proving.

Dominique Pastre

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978