本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2013.<M17-13-2114>
国立国会図書館
  • 著者標目...aisi, Georgia) Bezhanishvili, Guram. Universiteit van Amsterdam. ...

Heyting algebras : duality theory hardcover

Heyting algebras : duality theory hardcover
紙図書
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton EvseevSpringerc2019
全国の図書館
  • 著者標目Esakia, Leo Bezhanishvili, Guram Holliday, Wesley H. Evseev, A...

Heyting algebras : duality theory

Heyting algebras : duality theory
紙図書
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton EvseevSpringerc2019
全国の図書館
  • 著者標目Ė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
紙デジタル博士論文障害者向け資料あり
Bezhanishvili Guram [著]<UT51-98-Y438>
インターネットで読める国立国会図書館
  • 著者標目Bezhanishvili Guram

Leo Esakia on duality in modal and intuitionistic logics

Leo Esakia on duality in modal and intuitionistic logics
紙図書
Guram Bezhanishvili, editorSpringerc2014
全国の図書館
  • 著者標目Bezhanishvili, 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
紙図書
Guram Bezhanishvili ... [et al.] (eds.)Springer ,c20132013
全国の図書館
  • 著者標目...nd Computation Bezhanishvili, Guram Löbner, Sebastian Marra, Vinc...

Splitting monadic heyting algebras

Splitting monadic heyting algebras
紙文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0044p.1-20
全国の図書館
  • 著者標目Bezhanishvili, Guram

Varieties of monadic heyting algebras.Part III

Varieties of monadic heyting algebras.Part III
紙文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-04Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0016p.1-29
全国の図書館
  • 著者標目Bezhanishvili, Guram

Varieties of monadic Heyting algebras. Part 2 : Duality theory

Varieties of monadic Heyting algebras. Part 2 : Duality theory
紙文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0004p.1-36
全国の図書館
  • 著者標目Bezhanishvili, Guram

Locally finite varieties

Locally finite varieties
紙文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1998-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0002p.1-18
全国の図書館
  • 著者標目Bezhanishvili, Guram

Monadic version of Glivenko's theorem

Monadic version of Glivenko's theorem
紙文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0035p.1-15
全国の図書館
  • 著者標目Bezhanishvili, Guram

Varieties of monadic Heyting algebras. Part 1

Varieties of monadic Heyting algebras. Part 1
紙文書・図像類
Bezhanishvili, Guram北陸先端科学技術大学院大学情報科学研究科1997-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0001p.1-32
全国の図書館
  • 著者標目Bezhanishvili, Guram

検索結果は以上です。

RSS