名古屋工業大学図書館蔵書検索（名工大OPAC）

IRDB

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

電子ブック

ＥＢ

1. Automated Deduction ?ECADE-21 : 21st International Conference on Automated Deduction Bremen Germany July 17-20 2007 Proceedings

edited by Frank Pfenning

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

電子ブック

ＥＢ

2. Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings

edited by Frank Pfenning

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