Automatisiertes Denken mit analytischen Tableaus und verwandten Methoden: Internationa...
52,01 €
Areas of application include veri?cation of software and computer systems, deductive databases, knowledge representation and system diagnosis.
Jetzt bei Ebay:
