|
|
Sold Out
Book Categories |
| Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage | 1 | |
| Disjoint Sums over Type Classes in HOL | 5 | |
| Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering | 19 | |
| Isomorphisms - A Link Between the Shallow and the Deep | 37 | |
| Polytypic Proof Construction | 55 | |
| Recursive Function Definition over Coinductive Types | 73 | |
| Hardware Verification Using Co-induction in COQ | 91 | |
| Connecting Proof Checkers and Computer Algebra Using OpenMath | 109 | |
| A Machine-Checked Theory of Floating Point Arithmetic | 113 | |
| Universal Algebra in Type Theory | 131 | |
| Locales - A Sectioning Concept for Isabelle | 149 | |
| Isar - A Generic Interpretative Approach to Readable Formal Proof Documents | 167 | |
| On the Implementation of an Extensible Declarative Proof Language | 185 | |
| Three Tactic Theorem Proving | 203 | |
| Mechanized Operational Semantics via (Co)Induction | 221 | |
| Representing WP Semantics in Isabelle/ZF | 239 | |
| A HOL Conversion for Translating Linear Time Temporal Logic to [omega]-Automata | 255 | |
| From I/O Automata to Timed I/O Automata | 273 | |
| Formal Methods and Security Evaluation (Invited Talk) | 291 | |
| Importing MDG Verification Results into HOL | 293 | |
| Integrating Gandalf and HOL | 311 | |
| Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving | 323 | |
| Symbolic Functional Evaluation | 341 | |
| Author Index | 359 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Peter Stockbauer
reviewed Theorem Proving in Higher Order Logics on March 28, 2011 Theorem Proving in Higher Order Logics
A good book to learn
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Theorem Proving in Higher Order Logics
X
This Item is in Your Inventory
Theorem Proving in Higher Order Logics
X
You must be logged in to review the productsX
X
X
Add Theorem Proving in Higher Order Logics, , Theorem Proving in Higher Order Logics to the inventory that you are selling on WonderClubX
X
Add Theorem Proving in Higher Order Logics, , Theorem Proving in Higher Order Logics to your collection on WonderClub |
