-
Deutschland
Land International
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
Hugendubel
53.49 EUR
Preis aktualisiert am: 23-09-2026 08:30:18
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 21-09-2026 12:34:04
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 00:15:31
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642027156
MPN
Springer Berlin Heidelberg biography
