Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Automated Deduction in Equational Logic and Cubic Curves by William McCune (Engl

Ø 0.0

0 Bewertungen

69,04 €

Automated Deduction in Equational Logic and Cubic Curves. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

Jetzt bei Ebay:

ISBN-13:

9783540613985
Book Title:

Automated Deduction in Equational Logic and Cubic Curves
ISBN:

9783540613985

None:

International Standard : tracked-no signature (7 to 15 business days) 30,67 EUR - Lieferung zwischen 26. May 2025 und 05. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Irak , ... und weitere