Mechanized mathematics and its applications

Volumes of this title

9(1・2):2014.8

8(1):2010.3

7(1・2) 2008.9

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

Notes on use

Note (Suspension or discontinuance of Publication)：: Continued by online version

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: 1345-8272
ISSN-L: 1345-8272
Title: Mechanized mathematics and its applications
Author Heading: 日本Mizar学会ニホン Mizar ガッカイ ( 001259544 )Authorities
Publication, Distribution, etc.: Nagano : Mizar Japan
Publication Date: [2000]-[2014]
Publication Date (W3CDTF): 2000
2014
Publication status: 刊行終了
Publication frequency: Irregular
Year and volume of publication: v. 1, no. 1 (June 2000)-v. 9, no. 1/2 (Aug. 2014)
Note (Suspension or discontinuance of publication): Continued by online version
Extent: v.
Size: 26cm
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: ZM31
Note (General): Description based on the latest issue
Holding library: 国立国会図書館
Year and volume of holding: v. 1, no. 1 (June 2000)-v. 9, no. 1/2 (Aug. 2014)
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