Using sophisticated models in resolution theorem proving

• Main Author: Sandford, David M. (Author)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag 1980
• Series: Lecture notes in computer science 90
• Subjects: Μαθηματικά > Επεξεργασία δεδομένων
• Physical Description: xi, 239 σ. 25 εκ.
• Bibliography: Περιέχει βιβλιογραφία και ευρετήριο
• ISBN: 3540102310