Skip to main content
PBS logo
 
 

Search - List of Books by Martin Wirsing

Total Books: 2
Adapting ProofsasPrograms The CurryHoward Protocol
2010 - Adapting Proofsasprograms the Curryhoward Protocol [Monographs in Computer Science] (Paperback) → Hardcover
ISBN-13: 9781441920140
ISBN-10: 1441920145
  ?
Adapting ProofsasPrograms The CurryHoward Protocol
2005 - Adapting Proofsasprograms the Curryhoward Protocol [Monographs in Computer Science] (Hardcover) → Paperback
ISBN-13: 9780387237596
ISBN-10: 0387237593
Genres: Computers & Technology, Science & Math
  ?

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.