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

• Material Type: 記事
• Title: 形式論理教育ツールMizar-MSE用統合環境の実装
• Author/Editor: 福良博史
• Publication, Distribution, etc.: 日本 : 高齢・障害・求職者雇用支援機構
• Publication Date: 2009-03
• Publication Date (W3CDTF): 2009-03
• Alternative Title: Implementation for the proof checker Mizar-MSE
• Periodical title: 職業能力開発総合大学校東京校紀要
• No. or year of volume/issue: (24)
• Volume: (24)
• Text Language Code: jpn
• Persistent ID (NDL): info:ndljp/pid/11013951; https://dl.ndl.go.jp/pid/11013951
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人; https://dl.ndl.go.jp/collections/B00033
• Acquisition Basis: インターネット資料収集保存事業（WARP）
• Date Accepted (W3CDTF): 2018-01-11T11:19:19+09:00
• Date Captured (W3CDTF): 2016-10-11
• Format (IMT): application/pdf
• Access Restrictions: インターネット公開
• Availability of remote photoduplication service: 不可
• Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/10204292/www.uitec.jeed.or.jp/philanthropy/journal/journal_024.html
• Periodical Title (Persistent ID (NDL)): info:ndljp/pid/11013943; https://dl.ndl.go.jp/pid/11013943
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp