Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dominique Pastre
2000 – 2009
- 2002
[j6]Dominique Pastre: Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. AI Commun. 15(2-3): 147-160 (2002)- [j5]Dominique Pastre: Utilisation de dessins en résolution de problèmes. Revue d'Intelligence Artificielle 16(1-2): 123-165 (2002)
- 2001
- [j4]Dominique Pastre: Compétitions de démonstrateurs de théorèmes. Revue d'Intelligence Artificielle 15(2): 279-286 (2001)
- [c7]Dominique Pastre: MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. IJCAR 2001: 685-689
1990 – 1999
- 1994
- [c6]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
- [j3]Dominique Pastre: Automated Theorem Proving in Mathematics. Ann. Math. Artif. Intell. 8(3-4): 425-447 (1993)
- [c5]Thierry Larue, Dominique Pastre, Yann Viémont: Strong Integration of Spatial Domains and Operators in a relational Database System. SSD 1993: 53-72
1980 – 1989
- 1989
- [j2]Dominique Pastre: MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. Artif. Intell. 38(3): 257-318 (1989)
- [c4]Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora: Managing Complex Objects in an Extensible Relational DBMS. VLDB 1989: 55-65
- 1982
- [c3]Dominique Pastre: A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving. ECAI 1982: 116-118
- 1980
- [c2]
1970 – 1979
- 1978
- [j1]
- [c1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19 21:59 CEST by the dblp team