ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
戻る
ヤマダ, トシユキ
山田, 俊行
著者名典拠詳細を表示
著者の属性
個人
一般注記
SRC:チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳 (日経BP社) (日経BPマーケティング (発売), 2012.6) の巻末による
三重大学大学院工学研究科情報工学専攻講師
研究分野: 書換え系, 等式論理, 自動推論, ソフトウェアの解析と検証など
コード類
典拠ID=0000056061 NCID=DA17532955
1
チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
[東京] : 日経BP社 , 2012.6
戻る
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC