Théorie des modèles, théorie de la démonstration, mécanisation du raisonnement…?

Mettre à jour: : Proposition pour
une théorie probabiliste des systèmes cognitifs
sensori-moteurs
Pierre Bessiere, Eric Dedieu, Olivier Lebeltel, Emmanuel Mazer, Kam
Mise à jour 2: les trois font la paire
Mise à jour 3: oui certes mais encore
2 réponses 2