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

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR
Preis aktualisiert am: 22-05-2026 02:30:26
Siehe Produktangebot
Bezeichner
MPN 36 black & white illustrations, 4 colour
ISBN 3642221181
Abmessungen / Gewicht
Hauptmerkmale