語系
Gabbay, Dov M.
概要
作品: | 3 作品在 6 項出版品 1 種語言 |
---|
書目資訊
Interpolation and Definability = Modal and Intuitionistic Logics
by:
Maksimova, Larisa; Oxford University Press.; Gabbay, Dov M.
(書目-語言資料,印刷品)
A new perspective on nonmonotonic logics
by:
SpringerLink (Online service); Schlechta, Karl.; Gabbay, Dov M.
(書目-語言資料,印刷品)
Handbook of philosophical logic.. Volume 16
by:
Gabbay, Dov M.; SpringerLink (Online service); Guenthner, Franz.
(書目-語言資料,印刷品)
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
by:
Coniglio, Marcelo.; Sernadas, Cristina.; SpringerLink (Online service); Gabbay, Dov M.; Carnielli, Walter.; Gouveia, Paula.
(書目-語言資料,印刷品)
Handbook of Philosophical Logic = Volume 18 /
by:
SpringerLink (Online service); Guenthner, Franz.; Gabbay, Dov M.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
A New Perspective on Nonmonotonic Logics
by:
Schlechta, Karl.; Gabbay, Dov M.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Conditionals and modularity in general logics
by:
SpringerLink (Online service); Schlechta, Karl.; Gabbay, Dov M.
(書目-語言資料,印刷品)
Handbook of philosophical logic.. Volume 18
by:
Gabbay, Dov M.; SpringerLink (Online service); Guenthner, Franz.
(書目-語言資料,印刷品)
Handbook of philosophical logic
by:
SpringerLink (Online service); Guenthner, Franz.; Gabbay, Dov M.
(書目-語言資料,印刷品)
Proof theory for fuzzy logics
by:
Olivetti, Nicola.; SpringerLink (Online service); Metcalfe, George.; Gabbay, Dov M.
(書目-語言資料,印刷品)
Neural-symbolic cognitive reasoning
by:
Gabbay, Dov M.; D'Avila Garcez, Artur S.; Lamb, Luis C.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Handbook of philosophical logic.. Volume 17
by:
Gabbay, Dov M.; SpringerLink (Online service); Guenthner, Franz.
(書目-語言資料,印刷品)
更多
較少的
主題
Modality (Logic)
Electronic books.
Modern Philosophy.
Artificial intelligence.
Medicine
Theory of Computation.
Fuzzy logic.
Mathematical Logic and Foundations.
Mathematics.
Linguistics (general)
Modale logica.
Philosophy.
Computer logic.
Computer Science.
Philosophy of Science.
Computer science.
Interpolation.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Artificial intelligence.
Computation by Abstract Devices.
Mathematical logic.
Interpolatie.
Logic.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Philosophy and science.
Artificial Intelligence.
Definability theory (Mathematical logic)
Logic
Proof theory.
Order, Lattices, Ordered Algebraic Structures.
Linguistics.
Modern philosophy.
Neural networks (Computer science)
Linguistics, general.
Medical ethics.
Nonmonotonic reasoning.
Definieerbaarheid.
Logic, Symbolic and mathematical.
Intui¨tionisme.
Conditionals (Logic)
Pattern Recognition.