Iemhoff, Rosalie.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Dick de jongh on intuitionistic and provability logics
by:
Yang, Fan.; SpringerLink (Online service); Iemhoff, Rosalie.; Jongh, Dick de.; Bezhanishvili, Nick.
(Language materials, printed)
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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