Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy

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

Marke: Tobias Nipkow

ISBN: 3540422544

MPN: Illustrations

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

106.99 EUR 106.99 EUR

27-05-2026 00:25:10

Access to the deal

106.99 EUR 106.99 EUR

27-05-2026 02:37:04

Access to the deal