61. Handbook of philosophical logic
پدیدآورنده : ed. by D. Gabbay and F. Guenthner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,logik,sprogfilosofi
62. Handbook of philosophical logic. / Volume 17
پدیدآورنده : Guenthner , Franz, Dov M Gabbay; Franz Guenthner
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logique mathe matique,، Logique moderne,، Logique mathe matique non classique
رده :
BC71
63. Handbook of quantum logic and quantum structures :
پدیدآورنده : edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum logic,Quantum theory
رده :
QC174
.
17
.
M35
H36
2007
64. Handbook of quantum logic and quantum structures
پدیدآورنده : / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Quantum logic--Handbooks, manuals, etc
رده :
QC
,
174
.
17
,.
M35
,
H35
,
2009
65. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Quantum logic
رده :
530
.
12
015113
H236
2009
66. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Quantum logic
رده :
QC
174
.
17
.
H35
2009
67. Handbook of temporal reasoning in artificial intelligence
پدیدآورنده : edited by M. Fisher, D. Gabbay, L. Vila
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Temporal databases,، Artificial intelligence,، Reasoning
رده :
QA
76
.
9
.
D3
H347
2005
68. Handbook of temporal reasoning in artificial intelligence
پدیدآورنده : / edited by M. Fisher, D. Gabbay, L. Vila
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Temporal databases,Artificial intelligence,Reasoning
رده :
QA
76
.
9
.
D3H34733
2005
R
69. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : History ، Logic
رده :
BC
15
.
H264
70. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
71. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
72. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
73. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
74. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, History
رده :
BC
.
H36
15
2004
75. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History ، Logic
رده :
BC
15
.
H36
2011
76. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
77. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
78. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
79. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
80. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
