Higher order logic theorem proving and its applications
/ Organized by CHEOPS ESPRIT BRA 3215
Higher order logic theorem proving and its applications
المؤلف
/ Organized by CHEOPS ESPRIT BRA 3215طبع 1
0-444-89880-8
قائمة
شناسنامه
العنوان واسم المؤلف
Higher order logic theorem proving and its applications / / Organized by CHEOPS ESPRIT BRA 3215بيانات النشر
آمستردام : : North - Holland، 1993مالمواصفات الشكلية
xiii ,568 p .؛ :ill . ;23 cm.الموضوع
Automatic theorem provingCongresses
Logic, Symbolic and mathematical
Congresses
مسلسل
(IFIP transactions A:Computer science and technology ,ISSN 0926-5473؛ ;A-20)المعرّفات المضافة
Claesen, Luc J. M، نویسنده .
Gordon,Michael J .C, 1948 -، نویسنده .
Interuniversity Micro - Electronics Center، نویسنده .
Commission of the European Communites، نویسنده .
Gordon,Michael J .C, 1948 -، نویسنده .
Interuniversity Micro - Electronics Center، نویسنده .
Commission of the European Communites، نویسنده .
اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
