巻号(24)
形式論理教育ツールM...
書影書影書影

形式論理教育ツールMizar-MSE用統合環境の実装

記事を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

形式論理教育ツールMizar-MSE用統合環境の実装

国立国会図書館永続的識別子
info:ndljp/pid/11013951
資料種別
記事
著者
福良博史
出版者
高齢・障害・求職者雇用支援機構
出版年
2009-03
資料形態
デジタル
掲載誌名
職業能力開発総合大学校東京校紀要 (24)
掲載ページ
-
すべて見る

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
記事
著者・編者
福良博史
出版年月日等
2009-03
出版年(W3CDTF)
2009-03
並列タイトル等
Implementation for the proof checker Mizar-MSE
タイトル(掲載誌)
職業能力開発総合大学校東京校紀要
巻号年月日等(掲載誌)
(24)
掲載巻
(24)