福岡大学蔵書検索

検索結果一覧に戻る

Using sophisticated models in resolution theorem proving / David M. Sanford
(Lecture notes in computer science ; 90)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1980
形態	xi, 239 p. ; 25 cm
著者標目	Sandford, David M.
件　名	LCSH:Automatic theorem proving LCSH:Mathematics -- Data processing 全ての件名で検索
分　類	NDC:549.92 DDC:511.3 LCC:QA76.9.A96
書誌ID	LT00169003

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
	: Germany	中央自動書庫	549.92/L49-1/90	0105095130105	9783540102311				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Revision of thesis (Ph. D.) Bibliography: p. [229]-233 Includes index
NCID	BA03643135
巻冊次	: Germany ; ISBN:3540102310

目次／あらすじ