Mechanized mathematics and its applications, works in progress

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: 2434-5458
ISSN-L: 2434-5458
Title: Mechanized mathematics and its applications, works in progress
Publication, Distribution, etc.: Nagano : Mizar Japan
Publication Date (W3CDTF): 2019
Publication status: 継続刊行中
Publication frequency: 不定期刊
Year and volume of publication: Issue 2019, v. 1 (2019)-
Extent: 冊
Alternative Title: MMA-WiP
Abbreviated Title: Mech. math. its appl. works prog.
Key Title: Mechanized mathematics and its applications, works in progress
Place of Publication (Country Code): JP
Text Language Code: jpn
Alias of Author: Mizar-Japan Society
日本Mizar学会ニホン Mizar ガッカイ
Computer File Characteristics: オンライン・サービス
NDLC: ZM31
Collection (particular): ISSN登録オンラインジャーナル
Source: http://mizar-jp.org/journal/MMA-WiP
Call No.: ISSN
Related Material (ISSN): 関連資料 : 1345-8272
http://iss.ndl.go.jp/issn/1345-8272
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 029311592
http://id.ndl.go.jp/bib/029311592
Bibliographic Record Category (NDL): 412