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

IRDB

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. Automated reasoning : essays in honor of Woody Bledsoe

edited by Robert S. Boyer

出版情報:	Dordrecht ; Boston : Kluwer Academic Publishers Group, c1991
シリーズ名:	Automated reasoning series ; v. 1
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. Automated theorem proving : after 25 years (: pbk.)

W.W. Bledsoe and D.W. Loveland, editors

出版情報:	Providence, R.I. : American Mathematical Society, c1984
シリーズ名:	Contemporary mathematics ; v. 29
子書誌情報:	loading…
所蔵情報:	loading…