OPAC

検索結果一覧に戻る

Computability theory, semantics, and logic programming / Melvin Fitting
(Oxford logic guides ; 13)

データ種別	図書
出版情報	New York : Oxford University Press Oxford : Clarendon Press , 1987
本文言語	英語
大きさ	xi, 198 p. ; 25 cm

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:9.59:F58:1987		0195036913	001204364				予約・取寄		仮想書架	予約・取寄		仮想書架

書誌詳細を非表示

一般注記	Includes index
著者標目	*Fitting, Melvin Chris
件　名	LCSH:Computable functions LCSH:Data structures (Computer science)
分　類	LCC:QA9.59 DC19:001.64/2
巻冊次	ISBN:0195036913
ISBN	0195036913
NCID	BA00503785

目次／あらすじ