WebOPAC Local書誌詳細

ログイン

書誌詳細

愛知工業大学附属図書館

検索結果一覧へ戻る

	A computational logic handbook Robert S. Boyer, J. Strother Moore. -- Academic Press, 1988. -- (Perspectives in computing ; v. 23). <BB00055765> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見る詳細情報を見る書誌URL：

A computational logic handbook Robert S. Boyer, J. Strother Moore. -- Academic Press, 1988. -- (Perspectives in computing ; v. 23). <BB00055765> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見る詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約
0001		図書館	電動集密洋書	410.9\|\|B	001969757	書架		0件


No.	0001
巻号
所蔵館	図書館
配置場所	電動集密洋書
請求記号	410.9\|\|B
資料ID	001969757
状態	書架
返却予定日
予約	0件

このページのTOPへ

目次・あらすじ

このページのTOPへ

書誌詳細

標題および責任表示

A computational logic handbook / Robert S. Boyer, J. Strother Moore

出版・頒布事項

Boston ; Tokyo : Academic Press , c1988

形態事項

xvi, 408 p. ; 24 cm

巻号情報

ISBN	0121229521

書誌構造リンク

Perspectives in computing <BB00054774> v. 23//a

注記

Bibliography: p. 397-399

注記

Includes index

学情ID

BA04561364

本文言語コード

英語

著者標目リンク

*Boyer, Robert S. <>

著者標目リンク

Moore, J. Strother, 1947- <>

分類標目

LCC:QA76.9.A96

分類標目

DC19:511.3

件名標目等

Automatic theorem proving

件名標目等

Logic, Symbolic and mathematical

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ