岐阜大学図書館蔵書検索（OPAC）

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

電子ブック

ＥＢ

1. CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

edited by Egon Börger, Hans Kleine Büning, Michael M. Richter

出版情報:	Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名:	Lecture Notes in Computer Science ; 440
子書誌情報:	loading…
オンライン:	http://dx.doi.org/10.1007/3-540-52753-2

電子ブック

ＥＢ

2. CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

edited by Egon Börger, Hans Kleine Büning, Michael M. Richter

出版情報:	Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名:	Lecture Notes in Computer Science ; 385
子書誌情報:	loading…
オンライン:	http://dx.doi.org/10.1007/BFb0026291