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

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