語系
Colinet, Margot.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Pristine perspectives on logic, language, and computation = ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
Colinet, Margot.; Katrenko, Sophia.; Rendsvig, Rasmus K.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer science- Mathematics
Computer logic
Programming languages (Electronic computers)
Computer Science.
Discrete Mathematics in Computer Science.