語系
Turner, Raymond.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computational artifacts = towards a philosophy of computer science /
by:
Turner, Raymond.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Language Translation and Linguistics.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Computable functions.
Computer science- Philosophy.
Model theory.
Computer Science.
Philosophy of Science.