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 :) (書目-語言資料,印刷品)

主題

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)