Taschenbuch

Auf Lager bei iMusic

Nicht verfügbare Artikel anzeigen

Releases von Elsa L Gunter

Cover for Elsa L Gunter · Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 1997, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (1997)
Taschenbuch
Theorem Proving in Higher Order ...
Elsa L Gunter