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