Automated Reasoning with Analytic Tableaux and Related Methods: Internation ...
34,99 €
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.
Jetzt bei Ebay:
