Automated Reasoning with Analytic Tableaux and Related Methods
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods
69.54 EUR
Preis aktualisiert am: 28-05-2026 05:05:45
69.54 EUR
Preis aktualisiert am: 28-05-2026 05:05:45 
Galaxus.de
Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Cláudia Nalon, Renate A. Schmidt
69.54 EUR
Preis aktualisiert am: 28-05-2026 20:32:15
69.54 EUR
Preis aktualisiert am: 28-05-2026 20:32:15 | Bezeichner | |
|---|---|
| ISBN | 9783319669014 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
