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