ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Theorem proving in higher order logics
| Arabic Title : | نظرية الإثارة في منطق ترتيب أعلى: المؤتمر الدولي الحادي عشر، TPHOLS '98، كانبيرا، أستراليا، 27 سبتمبر / تشرين الأول / أكتوبر، 1998: الإجراءات |
| BNB number : | GB9881265 |
| Date published : | 1998 |
| Has extent : | viii,496p. |
| Has note on contents : | Includes bibliographical references and index. |
| ISBN : | 3540649875 |
| ISBN10 : | 3540649875 |
| Title : | Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings |
| Contributor : | Newey Malcolm Charles Grundy J. (Jim) 1968- |
| Subject : | Automatic theorem proving--Congresses 004.015113 Logic Symbolic and mathematical--Congresses |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9881265 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Berlin ; London : Springer, c1998 |
| Url : | 007757583 |
Warning: Undefined array key "record_id" in /home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 426
Warning: Attempt to read property "value" on null in /home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 432
Warning: Trying to access array offset on value of type null in /home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 432
/themes/img/main_sec/bib_no_cover.jpeg" style="width: 100%;">
