検索条件入力書誌詳細 > 計算理論と数理論理学 = Mathematics of logic and computation
書誌情報:計算理論と数理論理学 = Mathematics of logic and computation
ケイサン リロン ト スウリ ロンリガク
田中一之著
東京 : 共立出版 , 2022.6
viii, 299p ; 22cm
WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央5階
  • 410.96
  • Ta 84
  •  
01021642 利用可
一般 

選択行を:  

書誌詳細
刊年2022
形態viii, 299p ; 22cm
注記文献案内: p[261]-265
出版国日本
標題言語日本語
本文言語日本語
著者情報田中, 一之 (タナカ, カズユキ)
分類NDC9:410.9
NDC10:410.9
NDLC:MA41
ISBN9784320114722
件名BSH:計算量理論
BSH:記号論理学
NDLSH:計算量理論
NDLSH:記号論理学
NCIDBC15392387
番号NBN : JP23707447OTHN : TRC:22024969,JP-TOTOH:34351765

WebCatPlus を見る    CiNii Books を見る