茨城大学附属図書館 OPAC

IRDB

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

選択:

検索結果: 2 件

図書

1. Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us)

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

出版情報:	Berlin ; New York : Springer-Verlag, c1994
シリーズ名:	Lecture notes in computer science ; 832
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers (: gw ; : us)

Leszek Pacholski, Jerzy Tiuryn (eds.)

出版情報:	Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名:	Lecture notes in computer science ; 933
子書誌情報:	loading…
所蔵情報:	loading…