Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...
83,01 €
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:
