Releases by Tobias Nipkow

In stock at iMusic Show unavailable items

Cover for Tobias Nipkow · Functional Data Structures and Algorithms: A Proof Assistant Approach (Hardcover Book) (2025)

Functional Data Structures and A... (2025)

Cover for Tobias Nipkow · Functional Data Structures and Algorithms: A Proof Assistant Approach (Paperback Book) (2025)

Functional Data Structures and A... (2025)

Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)

Softcover reprint of the original 1st ed. 2014 edition

Concrete Semantics: With Isabell... (2016)

Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Hardcover Book) [2014 edition] (2014)

Concrete Semantics: With Isabell... (2014)

Cover for Tobias Nipkow · Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Isabelle / HOL: A Proof Assistan... (2002)

Cover for Tobias Nipkow · Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1998)

Rewriting Techniques and Applica... (1998)

Cover for Tobias Nipkow · Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993, Selected Papers - Lecture Notes in Computer Science (Paperback Book) (1994)

Types for Proofs and Programs: I... (1994)