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.
Automated Reasoning with Analytic Tableaux and Related Methods: International Co
- Item No : 136173140107
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $73.36
-
* Item Description
- In 2001 TABLEAUX was part of IJCAR 2001 in - ena. This was in par- cular witnessed by the talk by Matthias Baaz, jointly invited by CADE-18 and TABLEAUX 2002. Invited Papers. - Proof Analysis by Resolution.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
