Michael, Loizos.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logics in Artificial Intelligence = 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings /
by:
SpringerLink (Online service); Kakas, Antonis.; Michael, Loizos.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Application software.
Computer logic.
Database management.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Database Management.
Information Systems Applications (incl. Internet).