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

Résumé du livre

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).