Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science - David M. Sandford - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540102311 - 1. august 1980
Ved uoverensstemmelse mellem cover og titel gælder titel

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

David M. Sandford

Pris
元 505

Bestilles fra fjernlager

Forventes klar til forsendelse 24. - 30. jul.

Vores kunder siger:

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

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

242 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 1. august 1980
ISBN13 9783540102311
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 242
Mål 155 × 233 × 13 mm   ·   367 g
Sprog Engelsk  

Se alt med David M. Sandford ( f.eks. Paperback Bog )