Bezhanishvili, Guram.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Heyting algebras = duality theory / by: Holliday, Wesley H.; Bezhanishvili, Guram.; SpringerLink (Online service); Esakia, Leo. (Language materials, printed)

Heyting Algebras = Duality Theory / by: Esakia, Leo.; Holliday, Wesley H.; SpringerLink (Online service); Bezhanishvili, Guram. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Logic, language, and computation = 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011 : revised selected papers / by: SpringerLink (Online service); Bezhanishvili, Guram.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Subjects

Mathematical logic. Computational linguistics Computer Science. Logic. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Heyting algebras. Computer logic Artificial Intelligence (incl. Robotics) Programming languages (Electronic computers) Computer Imaging, Vision, Pattern Recognition and Graphics.