検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 計算理論と論理プログラミング
書誌情報:計算理論と論理プログラミング
ケイサン リロン ト ロンリ プログラミング
Melvin Fitting〔著〕
山崎秀記〔ほか〕共訳
東京 : 丸善 , 1989.8
252p ; 22cm


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0工学研
  • 548.164
  • F 29
  •  
00533268 利用可
研究室貸出中 

選択行を：  

書誌詳細
刊年1989
形態252p ; 22cm
別書名Computability theory,semantics,and logic programming.
出版国日本
著者情報Fitting, Melvin.
山崎, 秀記 (ヤマザキ, ヒデキ)
分類NDC8:007.64
ISBN4621033972
件名NDLSH:電子計算機 -- プログラミング
NDLSH:情報理論

   
▲ページトップへ