The resolution calculus /

• Κύριος συγγραφέας: Leitsch, Alexander (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin : Springer, 1997.
• Σειρά: Texts in theoretical computer science (Springer)
• Θέματα: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές.; Λογική, Συμβολική και μαθηματική

Πίνακας περιεχομένων:

• Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.