Bezhanishvili, Nick.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Dick de jongh on intuitionistic and provability logics
by:
Bezhanishvili, Nick.; Iemhoff, Rosalie.; Jongh, Dick de.; SpringerLink (Online service); Yang, Fan.
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Jongh, Dick de.
Logic.
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.
Mathematical Logic in Philosophy.