Computer science logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Computer science logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Matthias Baaz, Johann A. Makowsky (eds.)

Berlin ; Tokyo : Springer, c2003

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況（返却予定日） コレクション 備考 予約・取り寄せ人数

1
007.08-L49-2803

10003302393

一般図書

2
007.08-L49-2803

10003306152

一般図書

詳細情報

刊年

2003

形態

xii, 590 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2803

出版国

ドイツ＝ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Baaz, Matthias

Makowsky, Johann A., 1948-

Workshop on Computer Science Logic [ CSL ] [ International Workshop, CSL ]

European Association for Computer Science Logic [ EACSL ]

Kurt Gödel Colloquium [ KGC ] [ Gödel Colloquium ]

件名

Computer logic -- Congresses

ISBN

3540408010

NCID

BA63504374

メールで送信

宛先

件名

ブックマークに登録

リストを選択

指定なし

メモ

ブックマークを編集

リストを選択

メモ

リストを選択