You need to sign in or sign up before continuing.

Tobias Nipkow

3 books

Concrete Semantics: With Isabelle/Hol by Gerwin Klein, Tobias Nipkow

Concrete Semantics: With Isabelle/Hol

Gerwin Klein, Tobias Nipkow

298 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Isabelle/Hol: A Proof Assistant for Higher-Order Logic by Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow

Isabelle/Hol: A Proof Assistant for Higher-Order Logic

Lecture Notes in Computer Science

Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow

226 pages • missing pub info (editions)

nonfiction art computer science mathematics
Term Rewriting and All That by Franz Baader, Tobias Nipkow

Term Rewriting and All That

Franz Baader, Tobias Nipkow

316 pages • first pub 1998 (editions)

challenging informative reflective medium-paced