ヤマダ, トシユキ
山田, 俊行
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | SRC:チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳 (日経BP社) (日経BPマーケティング (発売), 2012.6) の巻末による 三重大学大学院工学研究科情報工学専攻講師 研究分野: 書換え系, 等式論理, 自動推論, ソフトウェアの解析と検証など |
| コード類 | 典拠ID=AU20098405 NCID=DA17532955 |
| 1 | チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳 [東京] : 日経BP社. - 東京 : 日経BPマーケティング (発売) , 2012.6 |