このページのリンク

ケイサン リロン ト スウリ ロンリガク
計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著

データ種別 図書
出版者 東京 : 共立出版
出版年 2022.6
本文言語 日本語
大きさ viii, 299p ; 22cm

所蔵情報を非表示

書庫(1階)
S 8.1||00736||375034 0003750345
9784320114722 2022 研究図書

書誌詳細を非表示

一般注記 文献案内: p[261]-265
著者標目  田中, 一之 <タナカ, カズユキ>
件 名 BSH:計算量理論
BSH:記号論理学
NDLSH:計算量理論
NDLSH:記号論理学
分 類 NDC9:410.9
NDC10:410.9
NDLC:MA41
書誌ID BB10307352
ISBN 9784320114722
NCID BC15392387

 類似資料