この文献を取り寄せる

このページのリンク

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

データ種別 図書
出版者 New York : Oxford University Press
出版年 1987
形態 xi, 198 p. ; 25 cm
著者標目 *Fitting, Melvin Chris
件 名 FREE:Computable functions
FREE:Data structures (Computer science)
分 類 NDC:549.92
DDC:001.64/2
LCC:QA9.59
書誌ID LT00221381

所蔵情報を非表示


中央自動書庫 549.92/F29-1/1+2 0107357580104 9780195036916





理学部分室開架 549.92/F29-1/1 0107234530109 9780195036916





理学部分室開架 549.92/F29-1/1+3 0108175320108 9780195036916




書誌詳細を非表示

本文言語 英語
一般注記 Includes index
NCID BA00503785
巻冊次 ISBN:0195036913
目次/あらすじ

 類似資料