Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Tobias Nipkow

Mots clés

FR |

EN

Traduction de logiques

Méthodes formelles

Réécriture, Systèmes de (informatique)

Théorèmes -- Démonstration automatique

Déduction (logique)