Skip to main content
PBS logo
 
 

Search - List of Books by Markus Wenzel

Total Books: 1
Isabelle/HOL A Proof Assistant for HigherOrder Logic
2002 - Isabelle/hol a Proof Assistant for Higherorder Logic [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9783540433767
ISBN-10: 3540433767
Genres: Computers & Technology, Reference, Science & Math, Medical Books
  ?

Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.