北里大学OPAC

ようこそ  ゲスト さん

ケイサン リロン ト スウリ ロンリガク

計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著

データ種別 図書
出版者 東京 : 共立出版
出版年 2022.6
著者標目 田中, 一之 <タナカ, カズユキ>

所蔵情報を非表示

配架場所 巻 次 請求記号 登録番号 状 態 コメント ISBN 刷 年 予約 利用注記
理学 単行本
410.9||Ta84 11043108
9784320114722 2022

書誌詳細を非表示

大きさ viii, 299p ; 22cm
件 名 BSH:計算量理論
BSH:記号論理学
NDLSH:計算量理論
NDLSH:記号論理学
一般注記 文献案内: p[261]-265
分 類 NDC9:410.9
NDC10:410.9
NDLC:MA41
書誌ID BB10173058
本文言語 日本語
巻冊次 ISBN:9784320114722 ; PRICE:4620円
NCID BC15392387

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