語系
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)
(書目-電子資源)
主題
Computer logic
Artificial Intelligence (incl. Robotics)
Computer sceince- Mathematics
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Language Translation and Linguistics.
Computational linguistics
Programming languages (Electronic computers)- Semantic
Discrete Mathematics in Computer Science.
Computer Science.