Tobias Nipkow

Popular items by Tobias Nipkow

View all offers

Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus

Item prices starting from

� 15.81

View 17 offers

Also find
New, Used
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings: 1379 (Lecture Notes in Computer Science, 1379)

Item prices starting from

� 37.48

View 13 offers

Also find
New, Used