Engelska
Automated Theorem Proving - After 25 Years
1 057 kr
Beställningsvara – leveranstid 1–3 veckor
ISBN
9780821850275
Förlag
American Mathematical Society
Format
Pocket
Utgivningsår
1984
Språk
Engelska
