語系
Lukasiewicz, Thomas.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lukasiewicz, Thomas.; SpringerLink (Online service); Sali, Attila.
(書目-語言資料,印刷品)
Scalable uncertainty management = second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 : proceedings /
by:
Lukasiewicz, Thomas.; Greco, Sergio.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Computer logic
Algorithm Analysis and Problem Complexity.
Uncertainty (Information theory)
Database design
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems
Information technology
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computer Science.