A proof theory for general unification
/ Wayne Snyder
A proof theory for general unification
نویسنده
/ Wayne Snyderنسخه 1
0-8176-3593-9
فهرست
شناسنامه
سرشناسه
Snyder,Wayne, 1955 -، نویسندهعنوان و نام پدیدآور
A proof theory for general unification / / Wayne Snyderمشخصات نشر
بوستون : : Birkhauser، 1991ممشخصات ظاهری
175 p . ;24 cm.موضوع
Automatic theorem provingفروست
(Progress in computer scinence and applied logic ;v؛ ;11)زبان
انگلیسیشماره بازیابی
کنگره:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
