Automated Reasoning with Analytic Tableaux and Related Methods: International Co
68,21 €
Areas of application include veri'cation of software and computer systems, deductive databases, knowledge representation and system diagnosis. Also included are 3 invited lectures and 6 nonclassical system comparisons.
Jetzt bei Ebay:
