Le concept de preuve à la lumière de l'intelligence artificielle
Collection(s) :
Nouvelle encyclopédie Diderot
Paru le
17/11/1999 |
Broché 384 pages
Public motivé
27.50 €
Disponible - Expédié sous 9 jours ouvrés
Quatrième de
couverture
Propose les analyses qui permettent de caractériser l'activité probatoire dans l'unité de son projet et la diversité de ses manifestations (le formalisme et l'activité de preuve ; preuve et logique ; les problèmes des formes d'automatisation de la preuve ; les activités probatoires dans les sciences humaines).