語系
Turner, Raymond.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computational artifactstowards a philosophy of computer science /
by:
SpringerLink (Online service); Turner, Raymond.
(書目-電子資源)
主題
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.
Model theory.
Computer science
Computer Science.
Philosophy of Science.