Le moteur de recherche
des thèses françaises
Leendert van der Torre
IdRefMots clés
FR |
EN
Argumentation
Preuve mathématique déductive
Systèmes d'argumentation
Apprentissage collaboratif
Débat
Construction de preuves
Évaluation de preuves
Travail collaboratif
Informatique -- Mathématiques
Assistants de preuve
Ranking semantics
Techniques de raisonnement
Sémantique
Raisonnement
Abduction
Dynamique
Informatique
Abduction (logique)
Programmation dynamique