41. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History ، Logic
رده :
BC
15
.
H36
2011
42. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
43. 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
44. 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
45. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
46. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
47. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
48. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
49. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
50. Philosophy of Complex Systems
پدیدآورنده : / Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
51. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1085
52. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
رده :
QA
76
.
9
.
A96
I575
1996
53. Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings
پدیدآورنده : Dov M. Gabbay...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Qualitative reasoning,Congresses ، Problem solving
رده :
QA
76
.
L28
Vol
.
1244
54. Reactive Kripke Semantics
پدیدآورنده : / Dov M. Gabbay
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
55. Revision, Acceptability and Context
پدیدآورنده : / Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
56. Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
پدیدآورنده : / Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
57. Semantical Investigations in Heyting's Intuitionistic Logic
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Semantics.
58. Semantical investigations in Heyting's intuitionistic logic
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
G22S4
59. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
60. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
