Väänänen, Jouko.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
SpringerLink (Online service); Hirvonen, Åsa.; Väänänen, Jouko.; de Queiroz, Ruy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependence Logic = Theory and Applications /
by:
Kontinen, Juha.; Vollmer, Heribert.; Väänänen, Jouko.; Abramsky, Samson.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Logic.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algorithms.
Logics and Meanings of Programs.