語系
Lodaya, Kamal.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic and its applications = 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lodaya, Kamal.
(書目-語言資料,印刷品)
主題
Logic, Symbolic and mathematical
Artificial Intelligence (incl. Robotics)
Discrete Mathematics in Computer Science.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computation by Abstract Devices.