Le moteur de recherche
des thèses françaises
Sylvain Schmitz
IdRefMots clés
FR |
EN
Logique informatique
Recherche de preuve
Logique de données
Hyperséquent
XPath
Benchmark
Satisfiabilité
Nombres ordinaux
XPath (langage de programmation)
Pertinence (logique)
Bases de données -- Interrogation
Mesures complexes
Complexité des certificats
Signatures de l'hypercube
Jeux à deux joueurs
Complexité de calcul (informatique)
Fonctions booléennes
Hypercube
Ambiguïté
Linguistique -- Informatique