Le concept de preuve a la lumière de l'intelligence artificielle
Other Authors: | , |
---|---|
Format: | Book |
Language: | Francés |
Published: |
Paris :
Presses Universitaires de France
1999.
|
Series: | Nouvelle Encyclopédie Diderot
|
Subjects: |
Physical Description: | 370 p. ; 22 cm |
---|---|
ISBN: | 9782130501046 |