21. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
22. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
23. Dynamic syntax : the flow of language understanding
پدیدآورنده : Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
موضوع : Grammar, Comparative and general -- Syntax,Linguistic analysis (Linguistics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
24. Elementary Logics: A Procedural Perspective
پدیدآورنده : / Dov Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer Science,Logic, Symbolic and Mathematical
رده :
QA76
.
G223
1998
25. Elements of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC6
.
H36
1983
26. Elements of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC6
.
H36
1983
27. Encounters by the Rivers of Babylon
پدیدآورنده : \ edited by Uri Gabbay and Shai Secunda
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Jews -- Iraq -- Babylonia. ,Iran -- Civilization -- To 640. ,Talmud -- Criticism, interpretation, etc.,Achaemenid dynasty, 559-330 B.C.,Middle Eastern literature -- History.,یهودیان -- عراق -- بابل (بین‌النهرین) ,ایران -- تمدن -- از آغاز تا ۶۴۰م. ,تلمود -- نقد و تفسیر ,ایران -- تاریخ -- هخامنشیان، ۵۵۸ - ۳۳۰ق. م ,متون مذهبی خاورمیانه -- تاریخ
رده :
DS135
.
B2
E63
2014
28. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC6
.
H36
1983
29. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC6
.
H36
1983
30. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC6
.
H36
1983
31. Fibring logics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
32. Fibring logics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
33. Gender and succession in medieval and early modern Islam :
پدیدآورنده : Alyssa Gabbay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fāṭimah,-632 or 633.,Fāṭimah,-632 or 633.,Islam-- Customs and practices.,Gender identity-- Religious aspects-- Islam.,Islam-- Customs and practices.,Islam.,Islamic studies.,Tābiʻūn.
رده :
BP80
.
F36
G335
2020eb
34. Gender and succession in medieval and early modern Islam : bilateral descent and the legacy of Fatima
پدیدآورنده : Alyssa Gabbay
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (تهران)
موضوع : Fatimah, -632 or 633 ***** Fatima 606-632Tabiun ***** Inheritance and succession (Islamic law)Tabiun *****
35. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
36. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
37. Handbook Of The History Of Logic
پدیدآورنده : /Edited By Dov M. Gabbay
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
38. Handbook of Defeasible Reasoning and Uncertainty Management Systems.
پدیدآورنده : Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
Q375
.
D686
2010
39. Handbook of Philosophical Logic :
پدیدآورنده : by D. Gabbay, F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy (General)
رده :
BC6
.
B934
1989
40. Handbook of Philosophical Logic
پدیدآورنده : edited by Dov M. Gabbay, Franz Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy
