A proof theory for general unification

Author(s)

• Snyder, Wayne

Bibliographic Information

A proof theory for general unification

Wayne Snyder

（Progress in computer science and applied logic, v. 11）

Birkhäuser, 1991

• : Boston
• : Basel

Note

Bibliographical references: p. [167]-175

Details

• NCID: BA13455404
• ISBN:
  • 0817635939
  • 3764335939
• LCCN: 91028684
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: vii, 175 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.A96
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA07712819