Le concept de preuve a la lumière de l'intelligence artificielle

Bibliographic Details
Other Authors: Sallantin, Jean (-), Szczeciniarz, Jean-Jacques
Format: Book
Language:Francés
Published: Paris : Presses Universitaires de France 1999.
Series:Nouvelle Encyclopédie Diderot
Subjects:
Description
Physical Description:370 p. ; 22 cm
ISBN:9782130501046