cc – Übersetzung – Keybot-Wörterbuch

Spacer TTN Translation Network TTN TTN Login Français English Spacer Help
Ausgangssprachen Zielsprachen
Keybot 5 Ergebnisse  www.lix.polytechnique.fr  Seite 10
  Coq in Coq (enhanced ve...  
Metatheory of CC
Métatheorie de CC
  Coq in Coq (enhanced ve...  
Confluence of CC, Church-Rosser
Confluence de CC, Church-Rosser