Tobias Nipkow

Tobias Nipkow

Tobias Nipkow has written at least 5 books. Their most popular book is Term Rewriting and All That with 2 saves with an average rating of -⭐.

Details
Rating
Readers Count
Controls
Term Rewriting and All That
Term Rewriting and All That
  • Franz Baader
  • Tobias Nipkow
00 reads
Types for Proofs and Programs
Types for Proofs and Programs
  • Tobias Nipkow
00 reads
Automated Reasoning
Automated Reasoning
  • Rajeev Gore
  • Alexander Leitsch
  • Tobias Nipkow
00 reads
Isabelle/HOL
Isabelle/HOL
  • Tobias Nipkow
  • Lawrence C. Paulson
  • Markus Wenzel
00 reads
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
  • Stefan Berghofer
  • Tobias Nipkow
  • Christian Urban
  • Makarius Wenzel
00 reads