関連資料一覧：（本学所蔵）

検索条件入力＞書誌詳細＞関連資料一覧：（本学所蔵）

関連資料一覧：（本学所蔵）

検索条件

著者情報：Martin-Löf, Per, 1942-

図書(1件)

選択行を：

資料名

所蔵館

責任表示

出版者

出版年

所在

1

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings Berlin , New York ( Lecture notes in computer science ; 417 )

中央図書館

P. Martin-Löf, G. Mints, eds.

Springer-Verlag

1990

中央５階洋 007.1||L 49||417

選択行を

▲ページトップへ