Mechanized mathematics and its applications 8(1):2010.3

Mechanized mathematics and its applications

8(1):2010.3

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: 雑誌
ISSN: 1345-8272
ISSN-L: 1345-8272
Title: Mechanized mathematics and its applications
Volume: 8(1):2010.3
Author Heading: 日本Mizar学会ニホン Mizar ガッカイ ( 001259544 )Authorities
Publication, Distribution, etc.: Nagano : Mizar Japan
Publication Date: 2010
Publication Date (W3CDTF): 2010
Year and volume of publication: v. 1, no. 1 (June 2000)-v. 9, no. 1/2 (Aug. 2014)
Size: 26cm
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
National Bibliography No. (JPNO): 10055712
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 132