When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Higher Order Logic Theorem Proving and Its Applications: 7th International Works
- Item No : 156973808023
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $72.03
-
* Item Description
- Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- The Lost Super Foods
- $ 37.00
- The Self-Sufficient Backyard
- $ 37.00
- A Navy Seals BUG IN GUIDE
- $ 39.00
- Childrens Books Phonics Lot 60
- $ 34.99
