Iemhoff, Rosalie.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dick de jongh on intuitionistic and provability logics
by:
Yang, Fan.; SpringerLink (Online service); Iemhoff, Rosalie.; Jongh, Dick de.; Bezhanishvili, Nick.
(書目-語言資料,印刷品)
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.
Computer logic.
Artificial intelligence.
Software engineering.
Jongh, Dick de.
Logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Foundations.
Artificial Intelligence.
Logic, Symbolic and mathematical
Mathematical Logic in Philosophy.
Language and logic