理工系シーズ一覧

コンピュータで数学をする – Do math with software –

情報通信分野

シーズ名称: コンピュータで数学をする – Do math with software –

キーワード: proof assistant、Isabelle/HOL

研究者名: 高橋　正

PDF: PDFファイル

学部: 知能情報学部

学科: 知能情報学科

連携方法

共同研究

シーズ検索