情報工学 形式論理と計算可能性
書籍情報
発売日 : 2024年09月28日
著者／編集 : 東京大学工学教程編纂委員会/蓮尾 一郎/浅田 和之
出版社 : 丸善出版
発行形態 : 全集・双書
書籍説明
著者情報
東京大学工学教程編纂委員会
蓮尾 一郎
浅田 和之
