ببليوغرافيا الكتب الإنجليزية

فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية

Automated deduction in classical and non-classical logics

Arabic Title : الاستنتاج الآلي في المنطق الكلاسيكي وغير الكلاسيكي: أوراق مختارة
BNB number : GBA019134
Date published : 2000
Has extent : viii, 297 p.
Has note on contents : Includes bibliographical references and index.
ISBN : 3540671900
ISBN10 : 3540671900
Title : Automated deduction in classical and non-classical logics : selected papers
Contributor : Salzer
Gernot
Caferra
Ricardo
Subject : 006.33
Automatic theorem proving--Congresses
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/GBA019134
Language : http://lexvo.org/id/iso639-3/eng
Publication : Berlin ; London : Springer, c2000
Url : 007758239
Book Image

Warning: Undefined array key "record_id" in /home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 426
/home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 432

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%;">

/home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 460

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 460

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 460
/index.php?p=bib_lib&id=180340">