Sorin Stratulat
Mots clés
FR |
EN
Certification
Applications ponctuelles (mathématiques)
Informatique. Automatique théorique. Systèmes
Développement logiciel
Informatique théorique
Récurrence
Règle inférence
Réécriture
Télécommunication
Logiciels -- Développement
Logiciels de communication
Déduction automatique
Schémas de preuves
Calcul de superposition
Induction
Logique informatique
Lambda-calcul typé
Calcul des constructions
Calculs pédagogiques
Logique