語系
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:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Bezhanishvili, Nick.
(書目-電子資源)
Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
Bezhanishvili, Nick.; Goranko, Valentin.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
主題
Artificial Intelligence (incl. Robotics)
Computer sceince- Mathematics
Computer logic
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Language Translation and Linguistics.
Computational linguistics
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers)- Semantic
Computer Science.