語系
Vaananen, Jouko.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information, and computation23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(1998 :); Hirvonen, Asa.; Queiroz, Ruy de.; SpringerLink (Online service); Vaananen, Jouko.
(書目-電子資源)
Dependence Logic :A New Approach to Independence Friendly Logic.
by:
Ebooks Corporation.; Vaananen, Jouko.
(書目-電子資源)
Generalized quantifiers and computation9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
by:
(1998 :); SpringerLink (Online service); Vaananen, Jouko.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer logic
Language and logic
Computer science
Logic, Symbolic and mathematical
Computer Science.
Programming languages (Electronic Computers)
Symbolic and Algebraic Manipulation.