Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 Towards United Reasoning for Automatic Induction in Isabelle/HOL

著者
Yutaka Nagashima
出版者
人工知能学会
雑誌
2020年度 人工知能学会全国大会(第34回)
巻号頁・発行日
2020-04-01

言及状況

Twitter (1 users, 1 posts, 0 favorites)

2020年度人工知能学会全国大会（第34回）で数学的帰納法を用いた証明の自動化について話しました。まだ完了していない研究ですが、もう少しで自動化を進められる…はずです！https://t.co/jw3qO0fhWI
0

収集済み URL リスト