Automated Reasoning with Analytic Tableaux and Related Methods
Der Band aus TABLEAUX 2009 liefert aktuelle Forschungsergebnisse zu analytischen Tafeln, logischen Verfahren und ihrer Anwendung in Künstlicher Int ...
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:17:32
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 27-04-2026 18:02:54
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642027156
MPN
Springer Berlin Heidelberg biography
