語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
跳至 :
概要
書目資訊
主題
Turing machines.
概要
作品:
2 作品在 2 項出版品 2 種語言
書目資訊
Models of computation = an introduction to computability theory /
by:
(書目-電子資源)
Decision Procedures = An Algorithmic Point of View /
by:
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Software Engineering/Programming and Operating Systems.
Computer Science.
Computational complexity.
Turing machines.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computable functions.
Computation by Abstract Devices.
Theory of Computation.
處理中
...
變更密碼
登入