Search records | 東京工業大学附属図書館蔵書検索

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

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 3 件

電子ブック

ＥＢ

1. Automated Reasoning

Ulrich Furbach, Takeo Kanade, N. Shankar, Natarajan Shankar

出版情報:	Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, proceedings

ed. Ulrich Furbach, Natarajan Shankar

出版情報:	Berlin : Springer, c2006 xv, 680 p. ; 24 cm
シリーズ名:	Lecture notes in computer science ; 4130 . Lecture Notes in Artificial Intelligence
子書誌情報:	loading…
所蔵情報:	loading…

電子ブック

ＥＢ

3. Automated Reasoning

Ulrich Furbach, Takeo Kanade, N. Shankar, Natarajan Shankar, Josef Kittler

出版情報:	SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
子書誌情報:	loading…
所蔵情報:	loading…

文献の複写および貸借の依頼を行う