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

Edition PUF- Nouvelle Encyclopédie Diderot. Paris 1999. , ISBN 2 13 05 0104 4, 371 pages.