Résultats de la recherche

Résultats 1 à 15 sur un total de 38 résultats

Article

Appliquer

Jocelyn BENOIST
Dans Le formalisme en action - 2013

Article

Apprendre la preuve

Nicolas BELACHEFF
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Des régimes de preuve en langue et discours

Georges VIGNAUX
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Descartes et Euclide. Le cogito comme ultime preuve

Jean-Jacques SZCZECINIARZ
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Deux positions de l’historien face aux sciences

Amy DAHAN-DALMEDICO
Dans Critique. Revue générale des publications françaises et étrangères - 2002

Article

Introduction. La preuve à la lumière (?) de l’intelligence artificielle

Jean-Jacques SZCZECINIARZ, Jean SALLANTIN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Monographie

L'algorithmique et les sciences

Bernard CHAZELLE
Collège de France - 2013

Monographie

L'Autre École d'Iéna : Critique, métaphysique et psychologie chez Jakob Friedrich Fries

Christian BONNET
Classiques Garnier - 2013

Article

La cornue et l’alambic, instrument d’analyse et de preuve dans Les Doutes sur Galien de Razi

Mehrnaz KATOUZIAN-SAFADI
Dans De Zénon d’Élée à Poincaré : recueil d’études en hommage à Roshdi Rashed - 2004

Monographie

La Méthode de Zadig : La trace, le fossile, la preuve

Claudine COHEN
Seuil - 2011

Article

La preuve et le contrat

Didier FERRIER
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Collectif

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

Sous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTIN
Presses Universitaires de France - 1999

Article

Le logique paraconsistante

Newton C. A. da COSTA, Jean-Yves BÉZIAU
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Le noyau logique des mathématiques : À partir de Frege

Ali BENMAKHLOUF
Dans Le formalisme en action - 2013

Article

Le raisonnement historique à l’épreuve de l’IA

Jean-Claude GARDIN, Monique RENAUD, Marie-Salomé LAGRANGE
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Méthodes de tri