Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science - David M. Sandford - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540102311 - 1 augustus 1980
Indien omslag en titel niet overeenkomen, is de titel correct

Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

Prijs
€ 52,49

Besteld in een afgelegen magazijn

Verwachte levering 13 - 21 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

242 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 1 augustus 1980
ISBN13 9783540102311
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 242
Afmetingen 155 × 233 × 13 mm   ·   367 g
Taal en grammatica Engels