Sequential decision problems, dependently typed solutions

Botta, N.; Ionescu, C.; Brady, E.

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

Sequential decision problems, dependently typed solutions

Authors

Botta, N.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Ionescu, C.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Brady, E.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

URL

http://www.cicm-conference.org/2013/cicm.php?event=plmms
(出版社版)

フルテキスト (公開)

There are no public fulltexts stored in PIKpublic

付随資料 (公開)

There is no public supplementary material available

引用

Botta, N., Ionescu, C., & Brady, E. (2013). Sequential decision problems, dependently typed solutions. In Sequential decision problems, dependently typed solutions.

引用: https://publications.pik-potsdam.de/pubman/item/item_18586

要旨

要旨はありません