Using Sophisticated Models in Resolution Theorem Proving
Häftad, Engelska, 1980
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum1980-08-01
- Mått155 x 233 x 15 mm
- Vikt400 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor242
- Upplaga1980
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540102311