Automated Reasoning

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)

106.99 EUR
Preis aktualisiert am: 22-05-2026 10:15:08
Siehe Produktangebot

Gesponsert Automated Reasoning

106.99 EUR
Preis aktualisiert am: 22-05-2026 15:40:42
Siehe Produktangebot
Bezeichner
ISBN Tobias Nipkow 3540422544
MPN Tobias Nipkow Illustrations
Abmessungen / Gewicht
Hauptmerkmale
Tobias Nipkow