語系
Casadio, Claudia.
概要
作品: | 2 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Joachim Lambekthe interplay of mathematics, logic, and linguistics /
by:
Casadio, Claudia.; Lambek, Joachim.; Scott, Philip J.; SpringerLink (Online service)
(書目-電子資源)
Categories and types in logic, language, and physicsessays dedicated to Jim Lambek on the occasion of his 90th birthday /
by:
Casadio, Claudia.; SpringerLink (Online service)
(書目-電子資源)
Model-based reasoning in science and technologylogical, epistemological, and cognitive issues /
by:
Casadio, Claudia.; Magnani, Lorenzo.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
History of Computing.
Computer Science, general.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Algebra.
Linguistics, general.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Model-based reasoning.
Philosophy, general.
Epistemology.
Computational Intelligence.
Computer science
Mathematical linguistics.
Computer Science.
Lambek, Joachim.