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