語系
Carnielli, Walter.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
Model-based reasoning in science and technologyabduction, logic, and computational discovery /
by:
Carnielli, Walter.; Magnani, Lorenzo.; Pizzi, Claudio.; SpringerLink (Online service)
(書目-電子資源)
Contradictions, from consistency to inconsistency
by:
Carnielli, Walter.; Malinowski, Jacek.; SpringerLink (Online service)
(書目-電子資源)
Paraconsistent logicconsistency, contradiction and negation /
by:
Carnielli, Walter.; Coniglio, Marcelo Esteban.; SpringerLink (Online service)
(書目-電子資源)
Modalities and multimodalitieswith the assistance and collaboration of Juliana Bueno-Soler /
by:
Carnielli, Walter.; Pizzi, Claudio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Philosophy.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Mathematics.
Negation (Logic)
Model-based reasoning
Computational Intelligence.
Epistemology.
Modality (Logic)
Contradiction.
Ontology.
Engineering.
Cognitive Psychology.
History of Philosophy.