Accueil
Abécédaire
Recherche
Intranet
Contact
Système d'information en philosophie des sciences
Méthodes de tri
Auteur
|
Titre
|
Année
1
2
3
Résultats 1 à 15 sur un total de 38 résultats.
Article
Processing Information from a Set of Sources
Arnon AVRON
Dans :
Towards Mathematical Philosophy - 2009
Article
Proof Versus Sound Inference
Nimrod BAR-AM
Dans :
Rethinking Popper - 2009
Article
Apprendre la preuve
Nicolas BELACHEFF
Dans :
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Article
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE, Jonathan BEN-NAIM
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
Appliquer
Jocelyn BENOIST
Dans :
Le formalisme en action - 2013
Article
Le logique paraconsistante
Jean-Yves BÉZIAU
Dans :
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Monographie
L'Autre École d'Iéna
: Critique, métaphysique et psychologie chez Jakob Friedrich Fries
Christian BONNET
Classiques Garnier - 2013
Article
Platon et les mathématiques
Maurice CAVEING
Dans :
Les Philosophies et les mathématiques - 1996
Monographie
L'algorithmique et les sciences
Bernard CHAZELLE
Collège de France - 2013
Monographie
La Méthode de Zadig
: La trace, le fossile, la preuve
Newton C. A. da COSTA
Seuil - 2011
Article
Preuves de la déduction automatique et analogie
Régis CURIEN
Dans :
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Monographie
Les Outils de la réflexion
: Épistémologie
François DAGOGNET
Les Empêcheurs de penser en rond - 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
Preuves par excellence
Jacques DUBUCS, C’H Raoul VOR, Jacques NICOLAS
Dans :
Philosophiques - 2003
1
2
3
Haut de page
Retour à la page précédente