語系
Cervesato, Iliano.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
LPAR 2008 (Dawhah, Qatar)) ((2008 :); Voronkov, Andrei.; Veith, Helmut.; Cervesato, Iliano.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Electronic spreadsheets.
Deductive databases.
Computer Appl. in Administrative Data Processing.
Business Information Systems.
Computer Science.
Programming Techniques.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.