J. Pitrat
Identifiers
- Open LibraryOL1120780A
Top Subjects
- Automatic theorem proving (1)
- Linguistics -- Data processing (1)
- Artificial intelligence (1)
- Intelligence artificielle (1)
- Raisonnement (1)
- Metacognition (1)
- Métaconnaissance (1)
Books by J. Pitrat
Total count: 5
-
Un programme de démonstration de théorèmes.Dunod1970-01-01
-
An artificial intelligence approach to understanding natural languageNorth Oxford Academic1988-01-01
MétaconnaissanceFutur de l'intelligence artificielleHermès1990-01-01-
Artificial ethicsthe conscience of a conscious machineISTE2009-01-01
Natural Language Parsing SystemsSpringer2011-12-08