Dominique Pastre

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
j4		Dominique Pastre: Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. AI Commun. 15(2-3): 147-160 (2002)
	2001
c7		Dominique Pastre: MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. IJCAR 2001: 685-689
	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
	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		Dominique Pastre: Knowledge-Based Theorem Proving. GI Jahrestagung 1980: 429
	1978
j1		Dominique Pastre: Automatic Theorem Proving in Set Theory. Artif. Intell. 10(1): 1-27 (1978)
c1		Dominique Pastre: A Humanlike Approach for Automatic Theorem Proving. AISB/GI (ECAI) 1978: 248-252

Coauthor Index

1	Jean-Pierre Cheiney	[c4]
2	Didier Chrétien	[c6]
3	Georges Gardarin	[c4]
4	Jerry Kiernan (Gerald Kiernan)	[c4]
5	Thierry Larue	[c6] [c5]
6	R. Legoff	[c6]
7	Hervé Stora	[c4]
8	Yann Viémont	[c6] [c5]

Last update Mon May 20 04:48:27 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page