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.
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 20
- Item No : 156973775396
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $72.03
-
* Item Description
- TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri'cation. Each of the 47 papers submitted in the full research category was refereed by at least 3 reviewers who were selected by the Program Committee.
★ 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
