北里大学OPAC

ヤマダ, トシユキ

山田, 俊行

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


1	はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著東京 : 森北出版 , 2018.7

図書館サービス

利用者サービス