21. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
22. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
23. Handbook Of The History Of Logic
پدیدآورنده : /Edited By Dov M. Gabbay
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
24. Handbook of Defeasible Reasoning and Uncertainty Management Systems.
پدیدآورنده : Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
Q375
.
D686
2010
25. Handbook of Philosophical Logic
پدیدآورنده : edited by Dov M. Gabbay, Franz Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy
26. Handbook of Philosophical Logic
پدیدآورنده : / Dov M. Gabbay, Franz Guenthner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY&ENGINEERING, ELECTRICAL
رده :
E-BOOK
27. Handbook of Philosophical Logic :
پدیدآورنده : Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
28. Handbook of defeasible reasoning and uncertainty management systems. Vol. 4, Abductive reasoning and learning
پدیدآورنده : editors, Dov M. Gabbay and Philippe Smets.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Abduction (Logic),Machine learning.,Reasoning.
29. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
30. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
31. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
32. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
33. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
H2785
1992
34. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
35. Handbook of logic in computer science
پدیدآورنده : / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science.,Logic, Symbolic and mathematical.
رده :
QA
,
76
,.
H2785
,
1992
36. Handbook of philosophical logic.
پدیدآورنده : Dov M. Gabbay, Franz Guenthner, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Handbooks, manuals, etc,Logic,Philosophy
رده :
BC71
37. Handbook of philosophical logic
پدیدآورنده : Dov M. Gabbay, Franz Guenthner editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Handbooks, manuals, etc. ، Logic
رده :
BC
6
.
H36
2001
38. Handbook of philosophical logic. / Volume 17
پدیدآورنده : Guenthner , Franz, Dov M Gabbay; Franz Guenthner
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logique mathe matique,، Logique moderne,، Logique mathe matique non classique
رده :
BC71
39. 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
40. 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
