Automated Theorem Proving: After 25 Years - Contemporary Mathematics - - Bøger - American Mathematical Society - 9780821850275 - 15. december 1984
Ved uoverensstemmelse mellem cover og titel gælder titel

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Pris
NOK 939

Bestilles fra fjernlager

Forventes klar til forsendelse 8. - 11. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 15. december 1984
ISBN13 9780821850275
Forlag American Mathematical Society
Mål 252 × 171 × 14 mm   ·   486 g
Klipper/redaktør Bledsoe, W. W
Klipper/redaktør Loveland, Donald W.