本ページはプロモーションが含まれています
Coq/SSReflect/MathCompによる定理証明 Coq/SSReflect/MathCompによる定理証明
著者：萩原学  / アフェルト・レナルド
出版社：森北出版 ( 2018年04月18日頃 )
価格：3,520円
ISBN13：9784627062412
©2006-2026 Bookget  古本買取  運営情報