Bezhanishvili, Guram.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Heyting algebras = duality theory / by: Holliday, Wesley H.; Bezhanishvili, Guram.; SpringerLink (Online service); Esakia, Leo. (書目-語言資料,印刷品)

Heyting Algebras = Duality Theory / by: Esakia, Leo.; Holliday, Wesley H.; SpringerLink (Online service); Bezhanishvili, Guram. (書目-語言資料,印刷品) , [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 :) (書目-語言資料,印刷品)

主題

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.