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.
