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: 23-08-2026 18:46:32
Siehe Produktangebot

Gesponsert Automated Reasoning

106.99 EUR
Preis aktualisiert am: 23-08-2026 13:28:49
Siehe Produktangebot
Bezeichner
ISBN Tobias Nipkow 3540422544
MPN Tobias Nipkow Illustrations
Abmessungen / Gewicht
Hauptmerkmale
Tobias Nipkow