Livre / Anthologie
Le concept de preuve à la lumière de l'intelligence artificielle. — Sous la direction de Jean Sallantin et Jean-Jacques Szczeciniarz. — Paris : Presses Universitaires de France, 1999. — 370 p. — (Nouvelle encyclopédie Diderot). — Comprend une bibliographie. — ISBN 2130501044.
Livre / Anthologie
- Cote CR+D : ANT CON 00005577
- Document en Français
- État dans la collection du CR+D : ORIGINAL
La base de données du CR+D contient l'indexation suivante :
(Veuillez noter que les indexations ne sont pas toujours exhaustives.)
Thèmes :
-
Intelligence artificielle-
Science-
Histoire et philosophie des sciences-
Mathématiques-
PhysiqueÉditeur :
- Presses Universitaires de France