Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany. (Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany.

(Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)

Call No. (NDL): M17-13-564
Bibliographic ID of National Diet Library: 023985321

Material type: 図書

Author: Jeuring, Johan, 1965-ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: xviii, 471 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."The fifth in this series of Conferences on Intelligent Computer Mathematics was held (...)" -- pref."CICM 2012 included four long-standing int...

Other physical details：: ill.

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
ISBN: 9783642313738
9783642313745 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany.
Series Title: Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence
Title Heading: Lecture notes in computer science ; 7362.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Author Heading: Jeuring, Johan, 1965-
CICM (Conference) (5th : 2012 : Bremen, Germany)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: xviii, 471 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer science--Mathematics--Congresses.
Artificial intelligence--Mathematics--Congresses.
LCC: QA76.9.M35
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"The fifth in this series of Conferences on Intelligent Computer Mathematics was held (...)" -- pref.
"CICM 2012 included four long-standing international meetings: (...)" -- pref.
"The AISC conference, which is only organized every other year, (...)" -- p. [ix].
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-13-564
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023985321
http://id.ndl.go.jp/bib/023985321
OCLC No.: 815977732
https://www.worldcat.org/oclc/815977732
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215