跳至 : 概要 | 書目資訊 | 主題

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. (書目-語言資料,印刷品)

Philosophy of medicine by: Gabbay, Dov M. (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品)

Reactive Kripke semantics by: SpringerLink (Online service); Gabbay, Dov M. (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品)

主題

Modality (Logic) Mathematical logic. Electronic books. Modern Philosophy. Artificial intelligence. Interpolatie. Medicine Theory of Computation. Medical ethics. Computer Science. Logic. Fuzzy logic. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Philosophy of Science. Artificial Intelligence (incl. Robotics) Nonmonotonic reasoning. Definieerbaarheid. Philosophy and science. Artificial Intelligence. Mathematics. Linguistics (general) Logic, Symbolic and mathematical. Definability theory (Mathematical logic) Intui¨tionisme. Conditionals (Logic) Computer science. Logic Proof theory. Interpolation. Modale logica. Pattern Recognition. Computer Imaging, Vision, Pattern Recognition and Graphics. Philosophy. Artificial intelligence. Computation by Abstract Devices. Order, Lattices, Ordered Algebraic Structures. Linguistics. Modern philosophy. Computer logic. Neural networks (Computer science) Linguistics, general.