OPAC

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

データ種別	図書
出版者	東京 : 丸善
出版年	1989.8
本文言語	日本語
大きさ	12, 252p ; 22cm
著者標目	Fitting, Melvin Chris 山崎, 秀記(1949-) <ヤマザキ, ヒデキ>

別書名	原タイトル:Computability theory, semantics, and logic programming
件　名	BSH:電子計算機 -- プログラミング全ての件名で検索 BSH:情報理論
分　類	NDC8:007.64 NDC7:418.6 NDLC:MA41
書誌ID	B000071236
ISBN	4621033972
NCID	BN03867065