Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science - David M. Sandford - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540102311 - 1. august 1980
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

David M. Sandford

Pris
元 404

Bestillingsvarer

Forventes levert 25. jul - 4. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

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

242 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 1. august 1980
ISBN13 9783540102311
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 242
Mål 155 × 233 × 13 mm   ·   367 g
Språk Engelsk  

Se alt med David M. Sandford ( f.eks. Pocketbok )