Isabelle/HOL: A Proof Assistant for Higher-Order Logic[Bài viết cập nhật lúc 7:54 AM - 16/01/2011 ] (GMT +7) [ Ebook ]
T. Nipkow, L.C. Paulson, M. Wenzel , "Isabelle/HOL: A Proof Assistant for Higher-Order Logic"
Springer 2010 | ISBN: 3540433767 | 223 pages | PDF | 1,2 MB
This book is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
|Bạn có thích bài viết này không?|
[ Quay lại ]
- CMS Programming Using PHP – Sebastian Sulinski
- The Secret training book from Evermotion | eBook | .flv | project files | 7.37Gb
- A First Course in Elementary Differential Equations
- Lick Library – Extreme Guitar – Metal Edge – Metal Soloing Techniques
- A First Course in Mathematics Concepts for Elementary School Teachers
- Miniature Mentor #5 – Monochrome Techniques
- Huge Mathematics Book Collection
- MF/MU/FS/FSn Inception (2010) 1080p BluRay DTS x264 – D-ZON3
- A Primer on Mapping Class Groups
- SEOMoz Advanced Training Series: Volumes I & II