Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...
79,76 €
TABLEAUX’99 marks the ?. - eas of application include veri?cation of software and computer systems, ded- tive databases, knowledge representation and its required inference engines, and system diagnosis.
Jetzt bei Ebay:
