Jump to main content

yr 〜
yr

Search results 12

Logic, language, and computation : 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011 : Kutaisi, Georgia, September 26-30, 2011 : revised selected papers : Sep 2011, Kutaisi, Georgia. (Lecture Notes in Computer Science ; 7758)

Logic, language, and computation : 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011 : Kutaisi, Georgia, September 26-30, 2011 : revised selected papers : Sep 2011, Kutaisi, Georgia. (Lecture Notes in Computer Science ; 7758)
Paper図書
Springerc2013.<M17-13-2114>
National Diet Library
  • Author Heading...aisi, Georgia) Bezhanishvili, Guram. Universiteit van Amsterdam. ...

Heyting algebras : duality theory hardcover

Heyting algebras : duality theory hardcover
Paper図書
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton EvseevSpringerc2019
Other Libraries in Japan
  • Author HeadingEsakia, Leo Bezhanishvili, Guram Holliday, Wesley H. Evseev, A...

Heyting algebras : duality theory

Heyting algebras : duality theory
Paper図書
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton EvseevSpringerc2019
Other Libraries in Japan
  • Author HeadingĖsakia, L. L. (Leo Leonidovich) Bezhanishvili, Guram Holliday, Wesley H. Evseev, A...

An algebraic approach to intuitionistic modal logics over MIPC

An algebraic approach to intuitionistic modal logics over MIPC
PaperDigital博士論文障害者向け資料あり
Bezhanishvili Guram [著]<UT51-98-Y438>
Available onlineNational Diet Library
  • Author HeadingBezhanishvili Guram

Leo Esakia on duality in modal and intuitionistic logics

Leo Esakia on duality in modal and intuitionistic logics
Paper図書
Guram Bezhanishvili, editorSpringerc2014
Other Libraries in Japan
  • Author HeadingBezhanishvili, Guram

Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011 : revised selected papers

Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011 : revised selected papers
Paper図書
Guram Bezhanishvili ... [et al.] (eds.)Springer ,c20132013
Other Libraries in Japan
  • Author Heading...nd Computation Bezhanishvili, Guram Löbner, Sebastian Marra, Vinc...

Splitting monadic heyting algebras

Splitting monadic heyting algebras
Paper文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0044p.1-20
Other Libraries in Japan
  • Author HeadingBezhanishvili, Guram

Varieties of monadic heyting algebras.Part III

Varieties of monadic heyting algebras.Part III
Paper文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-04Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0016p.1-29
Other Libraries in Japan
  • Author HeadingBezhanishvili, Guram

Varieties of monadic Heyting algebras. Part 2 : Duality theory

Varieties of monadic Heyting algebras. Part 2 : Duality theory
Paper文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0004p.1-36
Other Libraries in Japan
  • Author HeadingBezhanishvili, Guram

Locally finite varieties

Locally finite varieties
Paper文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1998-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0002p.1-18
Other Libraries in Japan
  • Author HeadingBezhanishvili, Guram

Monadic version of Glivenko's theorem

Monadic version of Glivenko's theorem
Paper文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0035p.1-15
Other Libraries in Japan
  • Author HeadingBezhanishvili, Guram

Varieties of monadic Heyting algebras. Part 1

Varieties of monadic Heyting algebras. Part 1
Paper文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0001p.1-32
Other Libraries in Japan
  • Author HeadingBezhanishvili, Guram

Reached to the end of result.

RSS