Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化

［図書］［紙］

• ISBN：978-4-627-06241-2
• 著者：
  • 萩原, 学, 1974-
  • Affeldt, Reynald, 1976-
• 発行者：森北出版
• 価格：3200円
• メディア形態等：211p
• 参考情報：
  • 索引あり
  • 2018

• 国会図書館サーチで詳細情報を見る
• 版元ドットコムで詳細情報を見る
• ジャパンサーチで横断検索する
• 各SNSでのつぶやきを見る
  （Yahoo!リアルタイム検索に飛びます）
• Google Scholarでタイトルを検索する