Agda言語について ＜算譜科学研究速報 AIST-PS-2008-14＞

書籍データ

著者名：木下佳樹 著 ; 産業技術総合研究所 (システム検証研究センター) 編他の作品を見る

出版社：産業技術総合研究所

発売日：2008.9

10p 30cm

ISBN：