Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Pastre, Dominique - UFR de Mathématiques et Informatique, Université René Descartes
Chemins dtourns, ides fausses et bonnes ides Dominique Pastre
Universite Rene Descartes -Paris5 licence de mathematiques UFR de mathematiques et informatique licence MASS
Fragile Npal, Terre de contrastes Dominique Pastre1
L'le de la Runion, de la fort tropicale primaire l'hlicoptre Dominique Pastre
MUSCADET version 4.1 Manuel de l'Utilisateur
MUSCADET version 4.1 User's Manual
/ " +0 "" ! ' ! / " 10 2 " " " " &* $ / " 30 ''
Complementarity of natural deduction and resolution principle in empirically automated theorem proving
Natural Proof Search and Proof Writing Dominique Pastre
1D.Pastre -LIPADE -University Paris Descartes -MIPS 2010 Natural Proof Search and Proof Writing
D. Pastre DEA MIASH 2002 Mthodes graphiques 1 Automatisation du raisonnement Mathmatiques
D. Pastre -DEA MIASH 2002 Gomtrie 1 Automatisation du raisonnement Mathmatiques
DEA MIASH 2001/2002 Automatisation du raisonnement et dmonstration automatique de thormes
Universite Rene Descartes UFR de mathematiques et informatique
Universit Ren Descartes Paris 5 Licence de mathmatiques UFR de mathmatiques et informatique Licence MASS
Universite Rene Descartes -Paris5 licence de mathematiques UFR de mathematiques et informatique licence MASS
Universite Rene Descartes -Paris5 licence de mathematiques UFR de mathematiques et informatique licence MASS
x[P(x) Q(x)] P(a) Q(a) A B P(A B) = P(A) P(B)
Complementarity of a Natural Deduction Knowledge-Based Prover and
Can and Must a Mac hine Prove Theorems
Le nouveau MUSCADET et la TPTP Problem Library Dominique PASTRE
AI Communications 15 (2002) 147160 147 Strong and weak points of the MUSCADET
Chemins dtourns, ides fausses et bonnes ides Dominique Pastre
Universite Rene Descartes UFR de mathematiques et informatique
Universite Rene Descartes -Paris5 licence de mathematiques UFR de mathematiques et informatique licence MASS
Demonstration automatique de theor`emes Methodes naturelles ou principe de resolution
012 -) & * ) 3 ) 0. "' ' ) 4 * .! 5 . 6 * 7 ( ,
Universite Rene Descartes UFR de mathematiques et informatique
Colloque Intelligence Artificielle Publication du Laboratoire C.F.Picard n 58 Toulouse -16-20 Septembre l985
D. Pastre -DEA MIASH 2002 EURISKO (Lenat) EURISKO (D.B.Lenat)
D. Pastre -DEA MIASH 2002 AM et EURISKO (Lenat) 1 Automatisation du raisonnement Mathmatiques
Colloque d'Intelligence Artificielle Publication du laboratoire C.F.Picard, n 24 Toulouse, juillet 1981
