Tobias Nipkow

Beliebte Artikel von Tobias Nipkow

Alle Angebote anzeigen

Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283 (Lecture Notes in Computer Science)
Nipkow, Tobias

Artikelpreise ab

EUR 18,44

16 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings: 1379 (Lecture Notes in Computer Science)
Nipkow, Tobias

Artikelpreise ab

EUR 42,51

12 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch