Using sophisticated models in resolution theorem proving

• Κύριος συγγραφέας: Sandford, David M. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag 1980
• Σειρά: Lecture notes in computer science 90
• Θέματα: Μαθηματικά > Επεξεργασία δεδομένων