Jump to main content
Volume number(27)
Mizar用統合環境...

Mizar用統合環境の開発を応用した簡易汎用統合環境の提案

Icons representing 記事
The cover of this title could differ from library to library. Link to Help Page

Mizar用統合環境の開発を応用した簡易汎用統合環境の提案

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
記事
Author/Editor
福良博史
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
Collection (Materials For Handicapped People:1)
Collection (particular)
国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人
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 (Persistent ID (NDL))
info:ndljp/pid/11013984
Data Provider (Database)
国立国会図書館 : 国立国会図書館デジタルコレクション