Le moteur de recherche
des thèses françaises
Pierre Castéran
IdRefMots clés
FR |
EN
Algorithmes
Prolog (langage de programmation)
Assistants de preuves
Coq
Algorithmique distribuée
Calculs locaux
Logique mathématique
Logiciels
Distribution (informatique)
Assistants de preuve
Théorie des calculs locaux
Coq (logiciel)
Intelligence artificielle
Théorèmes -- Démonstration automatique
Programmation logique
Scheme (langage de programmation)
Conception orientée objets (informatique)
Systèmes hyperboliques
Interface syntaxe-sémantique
Assistant de preuves Coq