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]
主題
Application software.
Artificial intelligence.
Artificial Intelligence.
Computer logic.
Database management.
Database Management.
Information Systems Applications (incl. Internet).
Logics and Meanings of Programs.
Mathematical logic.
Mathematical Logic and Formal Languages.
Software engineering.
Software Engineering.