秋田公立美術大学OPAC

ようこそ  ゲスト さん

ケイサン リロン ト ロンリ プログラミング

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

データ種別 図書
出版者 東京 : 丸善
出版年 1989.8
本文言語 日本語
大きさ xii, 252p ; 22cm

所蔵情報を非表示

1

秋田公立美術大学

配架場所 巻 次 請求記号 登録番号 状 態 コメント ISBN 刷 年 利用注記 予約 指定図書
閉架書庫
410.9 || F29 0027818
4621033972 1989

書誌詳細を非表示

別書名 原タイトル:Computability theory, semantics, and logic programming
著者標目 Fitting, Melvin Chris
山崎, 秀記(1949-) <ヤマザキ, ヒデキ>
件 名 BSH:電子計算機 -- プログラミング
BSH:情報理論
分 類 NDC8:007.64
NDC7:418.6
NDLC:MA41
書誌ID 2000035415
ISBN 4621033972
NCID BN03867065

検索結果一覧に戻る ページトップ