JAIST Repository: マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論

トップページ| 北陸先端科学技術大学院大学| 附属図書館

一覧

登録利用者:

登録者ページ
利用者(E-people)

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/14247

完全登録情報レコード

ダブリン･コア･フィールド	値	言語
contributor.author	秦野, 亮	-
date.accessioned	2017-06-20T05:07:55Z	-
date.available	2017-06-20T05:07:55Z	-
date.issued	2017-03	-
identifier.uri	http://hdl.handle.net/10119/14247	-
description	Supervisor東条　敏	en
description	情報科学研究科	en
description	博士	en
format.extent	35095 bytes	-
format.extent	2240177 bytes	-
format.extent	230865 bytes	-
format.mimetype	application/pdf	-
format.mimetype	application/pdf	-
format.mimetype	application/pdf	-
language.iso	en	en
subject	Modal logic	en
subject	Dynamic logic of relation changers	en
subject	Linear algebraireformulation of Kripke semantics	en
subject	Labelled sequent calculus	en
subject	Channel based agent communication	en
title	マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論	en
type.nii	Thesis or Dissertation	en
rights.textversion	ETD	en
language.iso639-2	eng	en
contributor.alternative	はたの, りょう	-
description.thesistitle	Linear Algebraic Semantics for Modal Logic of Multi-agent Communication	en
description.thesisauthor	Hatano, Ryo	-
identifier.displaygrantid	甲第977号	en
date.granted	2017-03-24	en
description.degreename	博士（情報科学）	en
description.grantor	北陸先端科学技術大学院大学	en
出現コレクション:	D-IS. 2016年度(H28) (Jun.2016 - Mar.2017)

このアイテムのファイル:

当システムに保管されているアイテムはすべて著作権により保護されています。

お問い合わせ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係