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