A proof theory for general unification /

• Κύριος συγγραφέας: Snyder, Wayne, 1955- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston : Birkhäuser, 1991.
• Σειρά: Progress in computer science and applied logic
• Θέματα: Αυτόματη απόδειξη θεωρημάτων
• Φυσική περιγραφή: vi, 175 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 0817635939; 3764335939