Automated Reasoning with Analytic Tableaux and Related Methods
Der Band präsentiert aktuelle Forschung zu analytischen Tableau-Methoden, beleuchtet theoretische Fortschritte, algorithmische Optimierungen und dere ...
Gesponsert
SpringerLink DE
49.22 EUR
Preis aktualisiert am: 16-06-2026 19:20:11
Gesponsert
Galaxus.de
49.22 EUR
Preis aktualisiert am: 16-06-2026 02:13:43
Allgemein
MPN
34 black & white illustrations, biograph
ISBN
9783642405365
