Mｉｚａｒ用統合環境の開発を応用した簡易汎用統合環境の提案

国立国会図書館永続的識別子: info:ndljp/pid/11013988

資料種別: 記事

著者: 福良博史

出版者: 高齢・障害・求職者雇用支援機構

出版年: 2012-02

資料形態: デジタル

掲載誌名: 職業能力開発総合大学校東京校紀要 (27)

掲載ページ: -

すべて見る

書誌情報

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

デジタル

資料種別: 記事
タイトル: Mｉｚａｒ用統合環境の開発を応用した簡易汎用統合環境の提案
著者・編者: 福良博史
出版事項: 日本 : 高齢・障害・求職者雇用支援機構
出版年月日等: 2012-02
出版年（W3CDTF）: 2012-02
並列タイトル等: A model of simple general-purpose integrated development environment (IDE) that came out of development of IDE for proof checker Mizar
タイトル（掲載誌）: 職業能力開発総合大学校東京校紀要
巻号年月日等（掲載誌）: (27)
掲載巻: (27)
本文の言語コード: jpn
国立国会図書館永続的識別子: info:ndljp/pid/11013988
https://dl.ndl.go.jp/pid/11013988
コレクション（共通）: 障害者向け資料
コレクション（障害者向け資料：レベル1）: テキストデータ
コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人
https://dl.ndl.go.jp/collections/B00033
収集根拠: インターネット資料収集保存事業（WARP）
受理日（W3CDTF）: 2018-01-11T11:19:19+09:00
保存日（W3CDTF）: 2016-10-11
記録形式（IMT）: application/pdf
オンライン閲覧公開範囲: インターネット公開
遠隔複写可否（NDL）: 不可
掲載誌（URI）: https://warp.da.ndl.go.jp/info:ndljp/pid/10204292/www.uitec.jeed.or.jp/philanthropy/journal/journal_027.html
掲載誌（国立国会図書館永続的識別子）: info:ndljp/pid/11013984
https://dl.ndl.go.jp/pid/11013984
連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp