語系
Iemhoff, Rosalie.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
by:
Moortgat, Michael.; Iemhoff, Rosalie.; SpringerLink (Online service); de Queiroz, Ruy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, language, information, and computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings /
by:
SpringerLink (Online service); Queiroz, Ruy de.; Iemhoff, Rosalie.; Moortgat, Michael.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Computer logic.
Artificial intelligence.
Software engineering.
Logic, Symbolic and mathematical
Language and logic
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.