Proceedings of the Technical Symposium and General Assembly of Mizar Japan

Notes on use

Search by Bookstore

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

Material Type: 雑誌
電子書籍・電子雑誌
ISSN: 1881-610X
ISSN-L: 1881-610X
Title: Proceedings of the Technical Symposium and General Assembly of Mizar Japan
Publication, Distribution, etc.: Nagano : Mizar Japan
Publication Date (W3CDTF): 2006
Publication status: 継続刊行中
Publication frequency: 年刊
Year and volume of publication: v. 1, no. 1 (autumn 2006)-
Extent: 冊
Alternative Title: 日本Mizar学会総会予稿集ニホン Mizar ガッカイソウカイヨコウシュウ
Abbreviated Title: Proc. Tech. Symp. Gen. Assem. Mizar Jpn.
Key Title: Proceedings of the Technical Symposium and General Assembly of Mizar Japan
Place of Publication (Country Code): JP
Text Language Code: jpn
Alias of Author: 日本Mizar学会ニホン Mizar ガッカイ
Computer File Characteristics: オンライン・サービス
NDLC: ZM31
ZM13
Collection (particular): ISSN登録オンラインジャーナル
Source: http://markun.cs.shinshu-u.ac.jp/mizar/TSGA
Call No.: ISSN
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008354331
http://id.ndl.go.jp/bib/000008354331
Bibliographic Record Category (NDL): 412