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: Internation ...
- Item No : 127183052749
- Condition : Good
- Brand : Springer Berlin Heidelberg
- Seller : buch-vertrieb
- Current Bid : US $32.26
-
* Item Description
- Titel: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, ... Notes in Computer Science (3702), Band 3702), Untertitel: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, Einband: Taschenbuch, Autor: Bernhard Beckert, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 360, Maße: 235x155x19 mm, Gewicht: 546 g, Verkäufer: buch-vertrieb, Schlagworte: Automation - Automatisierung Automat knowledge engineering proving semantic web software verification theorem proving verification.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- NO GRID Survival Projects
- $ 37.00
