Automated Theorem Proving: After 25 Years - Contemporary Mathematics -  - Boeken - American Mathematical Society - 9780821850275 - 30 december 1984
Indien omslag en titel niet overeenkomen, is de titel correct

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Prijs
€ 64,99

Besteld in een afgelegen magazijn

Verwachte levering 25 dec. - 2 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of
Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 30 december 1984
ISBN13 9780821850275
Uitgevers American Mathematical Society
Afmetingen 252 × 171 × 14 mm   ·   486 g
Uitgever Bledsoe, W. W
Uitgever Loveland, Donald W.