語系
Gabbay, Dov M.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Handbook of philosophical logic.Volume 16
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(書目-電子資源)
A new perspective on nonmonotonic logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Interpolation and Definability :Modal and Intuitionistic Logics
by:
Gabbay, Dov M.; Maksimova, Larisa; Oxford University Press.
(書目-電子資源)
Neural-symbolic cognitive reasoning
by:
D'Avila Garcez, Artur S.; Gabbay, Dov M.; Lamb, Luis C.; SpringerLink (Online service)
(書目-電子資源)
Revision, acceptability and contexttheoretical and algorithmic aspects /
by:
Gabbay, Dov M.; Rodrigues, Odinaldo T.; Russo, Alessandra.; SpringerLink (Online service)
(書目-電子資源)
Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /
by:
Carnielli, Walter.; Coniglio, Marcelo.; Gabbay, Dov M.; Gouveia, Paula.; Sernadas, Cristina.; SpringerLink (Online service)
(書目-電子資源)
Handbook of philosophical logic
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(書目-電子資源)
Handbook of philosophical logic.Volume 18
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(書目-電子資源)
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; Metcalfe, George.; Olivetti, Nicola.; SpringerLink (Online service)
(書目-電子資源)
Conditionals and modularity in general logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Handbook of philosophical logic.Volume 17
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(書目-電子資源)
Logical tools for handling change in agent-based systems
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Qualitative and quantitative practical reasoningfirst International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, proceedings /
by:
(1998 :); Gabbay, Dov M.; SpringerLink (Online service)
(書目-電子資源)
更多
較少的
主題
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Philosophy.
Logic, Symbolic and mathematical.
Pattern Recognition.
Fuzzy logic.
Linguistics (general)
Linguistics, general.
Intui¨tionisme.
Definability theory (Mathematical logic)
Artificial intelligence.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Database Management.
Logic
Medicine
Interpolation.
Mathematics.
Neural networks (Computer science)
Nonmonotonic reasoning.
Qualitative reasoning
Medical ethics.
Modale logica.
Modality (Logic)
Proof theory.
Order, Lattices, Ordered Algebraic Structures.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Definieerbaarheid.
Computer Science.
Electronic books.
Interpolatie.
Problem solving
Intelligent agents (Computer software)
Conditionals (Logic)
Philosophy of Science.
Modern Philosophy.