Bezhanishvili, Nick.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Dick de jongh on intuitionistic and provability logics
by:
Yang, Fan.; SpringerLink (Online service); Iemhoff, Rosalie.; Jongh, Dick de.; Bezhanishvili, Nick.
(Language materials, printed)
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.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
Artificial Intelligence (incl. Robotics)
Computer logic
Algorithm Analysis and Problem Complexity.
Computer sceince
Jongh, Dick de.
Language Translation and Linguistics.
Computational linguistics
Mathematical Logic in Philosophy.
Programming languages (Electronic computers)
Discrete Mathematics in Computer Science.
Computer Science.
Logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.