WebOPAC Local書誌詳細

長岡工業高等専門学校

ヘルプログイン

書誌詳細

長岡工業高等専門学校

検索結果一覧へ戻る

	Symposium on Automatic Demonstration edited by M. Laudet ... [et al.]. -- Springer-Verlag, 1970. -- (Lecture notes in mathematics ; 125). <BB00181820> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Symposium on Automatic Demonstration edited by M. Laudet ... [et al.]. -- Springer-Verlag, 1970. -- (Lecture notes in mathematics ; 125). <BB00181820> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

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

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

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	コメント	返却予定日	予約
0001		長岡高専	開架図書	410.8\|\|L49\|\|125	002109783				0件


No.	0001
巻号
所蔵館	長岡高専
配置場所	開架図書
請求記号	410.8\|\|L49\|\|125
資料ID	002109783
状態
コメント
返却予定日
予約	0件

このページのTOPへ

書誌詳細

標題および責任表示	Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]
出版・頒布事項	Berlin : Springer-Verlag , 1970
形態事項	310 p. ; 26 cm
書誌構造リンク	Lecture notes in mathematics <BB01381756> 125//a
注記	English or French
注記	Includes bibliographies
学情ID	BA06809416
本文言語コード	英語
著者標目リンク	*Symposium on Automatic Demonstration <NC:DA08026992> (1968 : Versailles)
著者標目リンク	Laudet, M. <NC:DA08027011> ed
分類標目	LCC:QA3
分類標目	DC:164
件名標目等	Automatic theorem proving -- Congresses

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ