DOORS（同志社大学図書館）

ケイサンリロントロンリプログラミング
計算理論と論理プログラミング / Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
ラーネッド記念図書館書庫1階		418.6\|\|F41-1A	890007665			予約			仮想書架	予約	仮想書架
理工学部情報系		418.6\|\|F41-1A	932020416						仮想書架		仮想書架

書誌ID	BB00744052
本文言語	日本語
別書名	原タイトル:Computability theory, semantics, and logic programming
著者標目	Fitting, Melvin Chris 山崎, 秀記(1949-) <ヤマザキ, ヒデキ>
件　名	BSH:電子計算機 -- プログラミング全ての件名で検索 BSH:情報理論
分　類	NDC8:007.64 NDC7:418.6 NDLC:MA41
巻冊次	ISBN:4621033972 ; PRICE:3708円 RefWorks出力（各巻）
NCID	BN03867065

[BOOKデータASPサービス] あらすじ／目次