資料詳細

  • 1 件中、 1 件目

計算理論と論理プログラミング 貸出可

Ｍｅｌｖｉｎ　Ｆｉｔｔｉｎｇ／〔著〕 -- 丸善 -- １９８９．８ --

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 410.9/89/ 00006221311 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル 計算理論と論理プログラミング ,
書名ヨミ ケイサン　リロン　ト　ロンリ　プログラミング
著者 Ｍｅｌｖｉｎ　Ｆｉｔｔｉｎｇ ／〔著〕  
著者名ヨミ フィッティング　クリス , ヤマザキ　ヒデキ
出版者 丸善
出版年 １９８９．８
ページ数, 大きさ ２５２ｐ, ２２ｃｍ
NDC８版 410.9
一般件名 数学基礎論 , プログラミング（電子計算機）
注記 Ｃｏｍｐｕｔａｂｉｌｉｔｙ　ｔｈｅｏｒｙ，ｓｅｍａｎｔｉｃｓ，ａｎｄ　ｌｏｇｉｃ　ｐｒｏｇｒａｍｍｉｎｇ．／の翻訳
内容注記 各章末：文献

ページの先頭へ