Iemhoff, Rosalie.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dick de jongh on intuitionistic and provability logics
by:
Bezhanishvili, Nick.; Iemhoff, Rosalie.; Jongh, Dick de.; SpringerLink (Online service); Yang, Fan.
(書目-電子資源)
Logic, language, information, and computation26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings /
by:
(1998 :); Iemhoff, Rosalie.; Moortgat, Michael.; Queiroz, Ruy de.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Jongh, Dick de.
Logic.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Language and logic
Artificial Intelligence.
Logic, Symbolic and mathematical
Mathematical Logic in Philosophy.