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
49.22 EUR
Preis aktualisiert am: 28-05-2026 05:11:26
49.22 EUR
Preis aktualisiert am: 28-05-2026 05:11:26 
Galaxus.de
Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Didier Galmiche, Dominique Larchey-Wendling
49.22 EUR
Preis aktualisiert am: 27-05-2026 07:22:21
49.22 EUR
Preis aktualisiert am: 27-05-2026 07:22:21 | Bezeichner | |
|---|---|
| MPN | 34 black & white illustrations, biograph |
| ISBN | 9783642405365 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
