Using sophisticated models in resolution theorem proving

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Sandford, David M. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag 1980
Σειρά:Lecture notes in computer science 90
Θέματα:
Περιγραφή
Φυσική περιγραφή:xi, 239 σ. 25 εκ.
Βιβλιογραφία:Περιέχει βιβλιογραφία και ευρετήριο
ISBN:3540102310