語系
Bezhanishvili, Nick.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Lectures on logic and computationESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
(1998 :); Bezhanishvili, Nick.; Goranko, Valentin.; SpringerLink (Online service)
(書目-電子資源)
Logic, language, and computation8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /
by:
(1998 :); Bezhanishvili, Nick.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Language Translation and Linguistics.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer logic
Programming languages (Electronic computers)
Computer sceince
Computational linguistics
Computer Science.
Discrete Mathematics in Computer Science.