Skip to main content
PBS logo
 
 

Search - List of Books by Lawrence C. Paulson

Total Books: 6
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
  ?
ML for the Working Programmer
1996 - Ml for the Working Programmer (Paperback) → Hardcover
ISBN-13: 9780521565431
ISBN-10: 052156543X
Genre: Computers & Technology
  ?
Isabelle A Generic Theorem Prover
1994 - Isabelle a Generic Theorem Prover [Lecture Notes in Computer Science] (Paperback) → Paperback
ISBN-13: 9783540582441
ISBN-10: 3540582444
  ?
ML for the Working Programmer
1993 - Ml for the Working Programmer [Cambridge Computer Science Texts] (Paperback)
ISBN-13: 9780521422253
ISBN-10: 0521422256
Genre: Computers & Technology
  ?
ML for the Working Programmer
1991 - Ml for the Working Programmer (Hardcover) → Paperback
ISBN-13: 9780521390224
ISBN-10: 0521390222
Genres: Computers & Technology, Reference, Science & Math
  ?
Isabelle A Generic Theorem Prover
Isabelle a Generic Theorem Prover [Lecture Notes in Computer Science] (Paperback) → Paperback
ISBN-13: 9780387582443
ISBN-10: 0387582444
Genre: Computers & Technology
  ?

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.