L'Autre École d'Iéna : Critique, métaphysique et psychologie chez Jakob Friedrich Fries
Christian BONNET
Classiques Garnier - 2013
L'algorithmique et les sciences
Bernard CHAZELLE
Collège de France - 2013
Introduction. La preuve à la lumière (?) de l’intelligence artificielle
Jean-Jacques SZCZECINIARZ, Jean SALLANTIN
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Deux positions de l’historien face aux sciences
Amy DAHAN-DALMEDICO
In Critique. Revue générale des publications françaises et étrangères - 2002
Descartes et Euclide. Le cogito comme ultime preuve
Jean-Jacques SZCZECINIARZ
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Des régimes de preuve en langue et discours
Georges VIGNAUX
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Apprendre la preuve
Nicolas BELACHEFF
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Appliquer
Jocelyn BENOIST
In Le formalisme en action - 2013