Le concept de preuve à la lumière de l'intelligence artificielle
By: sous la direction de Jean Sallantin et Jean-Jacques Szczeciniarz.
Contributors: Sallantin, Jean.; Szczeciniarz, Jean-Jacques.
Edition: 1re éd.
Series: Nouvelle encyclopédie Diderot
Publisher: Presses universitaires de France
Published: 1999
Place of publication: Paris
Language: fre
Number of pages: 370
Subjects: Artificial intelligence.; Proof theory.
Notes: Includes bibliographical references.