-
Deutschland
Land International
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
Hugendubel
48.99 EUR
Preis aktualisiert am: 23-09-2026 10:49:23
Gesponsert
Galaxus.de
49.22 EUR
Preis aktualisiert am: 22-09-2026 13:08:15
Gesponsert
SpringerLink DE
50.60 EUR
Preis aktualisiert am: 23-09-2026 19:16:18
Allgemein
MPN
34 black & white illustrations, biograph
ISBN
9783642405365
