Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...
77,72 €
Areas of application include veri?cation of software and computer systems, deductive databases, knowledge representation and system diagnosis.
Jetzt bei Ebay:
