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

Persistent ID (NDL): info:ndljp/pid/11013988

Material type: 記事

Author: 福良博史

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

Publication date: 2012-02

Material Format: Digital

Journal name: 職業能力開発総合大学校東京校紀要 (27)

Publication Page: -

View Details

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 記事
Title: Mｉｚａｒ用統合環境の開発を応用した簡易汎用統合環境の提案
Author/Editor: 福良博史
Publication, Distribution, etc.: 日本 : 高齢・障害・求職者雇用支援機構
Publication Date: 2012-02
Publication Date (W3CDTF): 2012-02
Alternative Title: A model of simple general-purpose integrated development environment (IDE) that came out of development of IDE for proof checker Mizar
Periodical title: 職業能力開発総合大学校東京校紀要
No. or year of volume/issue: (27)
Volume: (27)
Text Language Code: jpn
Persistent ID (NDL): info:ndljp/pid/11013988
https://dl.ndl.go.jp/pid/11013988
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_027.html
Periodical Title (Persistent ID (NDL)): info:ndljp/pid/11013984
https://dl.ndl.go.jp/pid/11013984
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp

See Less