Jump to main content

yr 〜
yr

Search results 13

コンピュータサイエンスにおける様相論理

コンピュータサイエンスにおける様相論理
Paper図書
鹿島亮 著森北出版2022.1<M121-M456>
National Diet LibraryOther Libraries in Japan

数学における証明と真理 : 様相論理と数学基礎論

数学における証明と真理 : 様相論理と数学基礎論
Paper図書
菊池誠 編, 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著共立出版2016.3<MA21-L319>
National Diet LibraryOther Libraries in Japan

確率と曖昧性の哲学

確率と曖昧性の哲学
Paper図書
一ノ瀬正樹 著岩波書店2011.3<H35-J31>
National Diet LibraryOther Libraries in Japan

偶然を生きる思想 : 「日本の情」と「西洋の理」 (NHKブックス ; 1118)

偶然を生きる思想 : 「日本の情」と「西洋の理」 (NHKブックス ; 1118)
Paper図書障害者向け資料あり
野内良三 著日本放送出版協会2008.8<HA1-J4>
National Diet LibraryOther Libraries in Japan

異文化間コミユニケーシヨン・シラバス設計 -異文化教育と言語教育の融合を目指してー

異文化間コミユニケーシヨン・シラバス設計 -異文化教育と言語教育の融合を目指してー
Paper図書
小林, 邦彦, 茨城工業高等専門学校1999-2000<Y151-H11610301>
National Diet Library
  • Subject Heading異文化間コミユニケーシヨン 価値システム 心理言語学的プロセス 論理学 様相論理学 言語機能 発話行為理論 言語シラバス

Viewing conditional logics of normality as extensions of the modal system S4 / Craig Boutilier. (Technical reports on knowledge representation and reasoning ; KRR-TR-90-4)

Viewing conditional logics of normality as extensions of the modal system S4 / Craig Boutilier. (Technical reports on knowledge representation and reasoning ; KRR-TR-90-4)
Paper図書
University of Toronto1990.<H35-A31>
National Diet Library

Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie / Olav K. Wiegand. (Phaenomenologica)

Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie / Olav K. Wiegand. (Phaenomenologica)
Paper図書
Kluwer Academic Publishersc1998.<H35-A37>
National Diet Library

名指しと必然性 : 様相の形而上学と心身問題

名指しと必然性 : 様相の形而上学と心身問題
PaperDigital図書障害者向け資料あり
ソール・A.クリプキ 著, 八木沢敬, 野家啓一 訳産業図書1985.4<H35-118>
National Diet LibraryOther Libraries in Japan

帰納的確率と様相の論理 (双書現代の論理)

帰納的確率と様相の論理 (双書現代の論理)
PaperDigital図書障害者向け資料あり
永井成男, 大窪徳行 著早稲田大学出版部1986.4<H35-123>
Available onlineNational Diet LibraryOther Libraries in Japan

様相論理入門

様相論理入門
PaperDigital図書障害者向け資料あり
G.E.ヒューズ, M.J.クレスウェル 著, 三浦聡 [ほか]訳恒星社厚生閣1981.12<H35-101>
Available onlineNational Diet LibraryOther Libraries in Japan

様相論理入門 訂正版

様相論理入門 訂正版
Paper図書
G.E.ヒューズ, M.J.クレスウェル著 ; 三浦聡 [ほか] 訳恒星社厚生閣1989.3
Other Libraries in Japan

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)
Paper図書
D. Reidelc1983.<MA41-A44>
National Diet LibraryOther Libraries in Japan

Communication and meaning : an essay in applied modal logic / Andrew J.I. Jones. (Synthese library ; v. 168)

Communication and meaning : an essay in applied modal logic / Andrew J.I. Jones. (Synthese library ; v. 168)
Paper図書
D. Reidelc1983.<KE23-A6>
National Diet Library

Reached to the end of result.

RSS