Automated Reasoning with Analytic Tableaux and Related Methods: International Co
67,31 €
Also included are system comparisons and abstracts of an invited paper and of two tutorials. As application areas, formal verification of software and computer systems, deductive databases, knowledge representation, and systems diagnosis are covered.
Jetzt bei Ebay:
