こちらに共通ヘッダが追加されます。

このページのリンク

Automated deduction : a basis for applications / edited by Wolfgang Bibel and Peter H. Schmitt
(Applied logic series ; v.8-10)

データ種別 図書
出版者 Dordrecht : Kluwer Academic
出版年 c1998
大きさ 3v. : ill ; 25cm

所蔵情報を非表示

文学部 哲学 v.1 007||B672||1 982202199


文学部 哲学 v.2 007||B672||2 982202200


文学部 哲学 v.3 007||B672||3 982202201


書誌詳細を非表示

書誌ID BB00396270
本文言語 英語
内容注記 v.1. Foundations. calculi and methods
v.2. Systems and implementation techniques
v.3. Applications
一般注記 Includes bibliographies and indexes
著者標目  Bibel, W., 1938-
 Schmitt, P. H. (Peter H.), 1948-
件 名 LCSH:Logic, Symbolic and mathematical
LCSH:Automatic theorem proving
分 類 DC21:006.33
巻冊次 set ; ISBN:0792351320 RefWorks出力(各巻)
ISBN:0792351320 RefWorks出力(各巻)
v.1 ; ISBN:0792351290 RefWorks出力(各巻)
v.2 ; ISBN:0792351304 ; PRICE:£130.00 RefWorks出力(各巻)
v.3 ; ISBN:0792351312 ; PRICE:£99.00 RefWorks出力(各巻)
NCID BA37462379
目次・あらすじ

 類似資料