Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy.

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

Call No. (NDL): M17-12-425
Bibliographic ID of National Diet Library: 000011264020

Material type: 図書

Author: Calculemus 2011 (2011 : Bertinoro, Italy)ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: xiii, 312 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."2011 marked the fourth in this series of Conferences on Intelligent Computer Mathematics (CICM), held in Italy (Bertinoro)." -- pref.

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: 9783642226731 (e-ISBN)
9783642226724
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy.
Series Title: Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence
Title Heading: LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science ; 6824. 0302-9743
Lecture notes in computer science. Lecture notes in artificial intelligence.
Author Heading: Calculemus 2011 (2011 : Bertinoro, Italy)
Davenport, James H.
MKM 2011 (2011 : Bertinoro, Italy)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xiii, 312 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: Culculemus/MKM 2011.
Place of Publication (Country Code): DE
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Computer terminals--Intelligent terminals--Congresses.
Artificial intelligence--Congresses.
LCC: TK7887.8.T4
DDC: 004.7/5
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"2011 marked the fourth in this series of Conferences on Intelligent Computer Mathematics (CICM), held in Italy (Bertinoro)." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Source: ebrary
http://site.ebrary.com/id/10485311
SpringerLink
http://dx.doi.org/10.1007/978-3-642-22673-1
Holding library: 国立国会図書館
Call No.: M17-12-425
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011264020
http://id.ndl.go.jp/bib/000011264020
OCLC No.: 747413721
https://www.worldcat.org/oclc/747413721
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215