Computational logic
/ J .W .Lloyd ( ed )
Computational logic
المؤلف
/ J .W .Lloyd ( ed )طبع 1
قائمة
شناسنامه
العنوان واسم المؤلف
Computational logic / / J .W .Lloyd ( ed )بيانات النشر
برلین : : Springer - Verlag، 1990مالمواصفات الشكلية
ix ,211 p .؛ : ill . ;25 cm.الموضوع
Automatic theorem provingCongresses
Logic, Symbolic and mathematical
Congresses
مسلسل
(ESPRIT basic research series؛ )المعرّفات المضافة
Lloyd,J .W ( John Wylie ), 1947 -، نویسنده .
اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
