著者典拠情報

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


 close
1.

図書
図書
1. はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
山田俊行著
出版情報: 東京 : 森北出版, 2018.7
所蔵情報: loading…
2.

図書
図書
2. チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
出版情報: [東京] : 日経BP社 , 東京 : 日経BPマーケティング (発売), 2012.6
所蔵情報: loading…