Languages
Casadio, Claudia.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Model-based reasoning in science and technology = logical, epistemological, and cognitive issues /
by:
Magnani, Lorenzo.; Casadio, Claudia.; SpringerLink (Online service)
(Electronic resources)
Joachim Lambek = the interplay of mathematics, logic, and linguistics /
by:
Casadio, Claudia.; Scott, Philip J.; SpringerLink (Online service)
(Electronic resources)
Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday /
by:
Casadio, Claudia.; SpringerLink (Online service)
(Electronic resources)
Subjects
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- Mathematics.
Mathematical linguistics.
Computer Science.
Lambek, Joachim.