SIPS | Recherche

Méthodes de tri
Auteur

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

Monographie

Monographie

Monographie

Monographie

Système d'information en philosophie des sciences

Processing Information from a Set of Sources

Arnon AVRON

Dans : Towards Mathematical Philosophy - 2009

Proof Versus Sound Inference

Nimrod BAR-AM

Dans : Rethinking Popper - 2009

Apprendre la preuve

Nicolas BELACHEFF

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

Vers un démonstrateur adaptatif

Catherine BELLEANNÉE, Jonathan BEN-NAIM

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

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

Ali BENMAKHLOUF

Dans : Le formalisme en action - 2013

Appliquer

Jocelyn BENOIST

Dans : Le formalisme en action - 2013

Le logique paraconsistante

Jean-Yves BÉZIAU

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

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

Christian BONNET

Classiques Garnier - 2013

Platon et les mathématiques

Maurice CAVEING

Dans : Les Philosophies et les mathématiques - 1996

L'algorithmique et les sciences

Bernard CHAZELLE

Collège de France - 2013

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

Newton C. A. da COSTA

Seuil - 2011

Preuves de la déduction automatique et analogie

Régis CURIEN

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

Les Outils de la réflexion : Épistémologie

François DAGOGNET

Les Empêcheurs de penser en rond - 1999

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

Preuves par excellence

Jacques DUBUCS, C’H Raoul VOR, Jacques NICOLAS

Dans : Philosophiques - 2003