Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518, Band 518)

Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:30:33
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:52

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540543333
MPN
Springer Berlin Heidelberg 6902169

Eigenschaften

Menü