Games, logic, and constructive sets

Name: Games, logic, and constructive sets
Author: Mint︠s︡, Grigori, Muskens, Reinhard, CSLI Workshop on Logic, Language, and Computation

Mint︠s︡, Grigori, Muskens, Reinhard, CSLI Workshop on Logic, Language, and Computation

Games, logic, and constructive sets

CiNii 所蔵館 21館

Mint︠s︡, Grigori
Muskens, Reinhard
CSLI Workshop on Logic, Language, and Computation

書誌事項

タイトル: "Games, logic, and constructive sets"

責任表示: edited by Grigori Mints, Reinhard Muskens

出版者

CSLI Publications

出版年月

c2003

書籍サイズ: 24 cm

シリーズ名/番号

: pbk

この図書・雑誌をさがす

国立国会図書館サーチ
カーリル
WorldCat

注記

Includes bibliographical references and index

"The papers collected in this volume are mostly contributions to the Ninth CSLI Workshop on Logic, Language and Computation, held at Stanford University at the end of May 2000." - pref.

書き出し

RefWorksに書き出し
EndNoteに書き出し
Mendeleyに書き出し
RDFで書き出し
Refer/BibIXで表示
RISで表示
BibTeXで表示
TSVで表示
CSVで表示
JSON-LDで表示

Games, logic, and constructive sets

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

Games, logic, and constructive sets

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について