A proof theory for general unification /

• Main Author: Snyder, Wayne, 1955- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Boston : Birkhäuser, 1991.
• Series: Progress in computer science and applied logic
• Subjects: Αυτόματη απόδειξη θεωρημάτων