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.
Artificial Intelligence.
Computer logic.
Artificial intelligence.
Software engineering.
Jongh, Dick de.
Logic, Symbolic and mathematical
Mathematical Logic in Philosophy.
Logic.
Language and logic
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Foundations.