福岡大学蔵書検索

Logic and computation : interactive proof with Cambridge LCF / Rawrence C. Paulson
(Cambridge tracts in theoretical computer science ; 2)

データ種別	図書
出版者	Cambridge : Cambridge University Press
出版年	1987
形態	xiii, 302 p. : ill. ; 26 cm
著者標目	Paulson, Lawrence C.
件　名	Cambridge LCF (Computer system) Computable functions -- Data processing 全ての件名で検索
分　類	NDC:549.92 DDC:005.1 LCC:QA9.59
書誌ID	LT00280973

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	Bibliography: p. [289]-295 Includes index
NCID	BA01002402
巻冊次	ISBN:0521346320

目次／あらすじ