Mechanized mathematics and its applications 1(1)-6(1) 20000600-20071100

Mechanized mathematics and its applications

1(1)-6(1) 20000600-20071100

Notes on use

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: 雑誌
Title: Mechanized mathematics and its applications
Volume: 1(1)-6(1) 20000600-20071100
Author Heading: 日本Mizar学会ニホン Mizar ガッカイ ( 001259544 )Authorities
Publication, Distribution, etc.: Nagano : Mizar Japan
Publication Date: 2000-2007
Publication Date (W3CDTF): 2000-2007
Year and volume of publication: v. 1, no. 1 (June 2000)-v. 9, no. 1/2 (Aug. 2014)
Size: 26cm
ISSN (Periodical Title): 1345-8272
ISSN-L (Periodical Title): 1345-8272
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: ZM31
Note (General): Description based on the latest issue
Holding library: 国立国会図書館
Call No.: Z63-C839
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000000161416
http://id.ndl.go.jp/bib/000000161416
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition