語系
Carnielli, Walter.
概要
作品: | 0 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
by:
Coniglio, Marcelo.; Carnielli, Walter.; Gouveia, Paula.; Sernadas, Cristina.; SpringerLink (Online service); Gabbay, Dov M.
(書目-電子資源)
Model-based reasoning in science and technology = abduction, logic, and computational discovery /
by:
Pizzi, Claudio.; Carnielli, Walter.; Magnani, Lorenzo.; SpringerLink (Online service)
(書目-電子資源)
Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler /
by:
SpringerLink (Online service); Carnielli, Walter.; Pizzi, Claudio.
(書目-電子資源)
主題
Modality (Logic)
Artificial Intelligence (incl. Robotics)
Mathematics.
Logic, Symbolic and mathematical.
Computational Intelligence.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Cognitive Psychology.
Model-based reasoning
Engineering.
Philosophy.
History of Philosophy.
Logic.