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: Μαθηματικά > Επεξεργασία δεδομένων