Intelligent computer mathematics : 16th symposium, Calculemus 2009 : 8th international conference, MKM 2009 : held as part of CICM 2009 : Grand Bend, Canada, July 6-12, 2009 : proceedings. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 16th symposium, Calculemus 2009 : 8th international conference, MKM 2009 : held as part of CICM 2009 : Grand Bend, Canada, July 6-12, 2009 : proceedings. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada.

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

Call No. (NDL): M17-10-751
Bibliographic ID of National Diet Library: 000010440688

Material type: 図書

Author: University of Western Ontario. Ontario Research Centre for Computer Algebra.ほか

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xix, 491 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and selected papers.

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: 9783642026133 (ISBN-13 : pbk.)
3642026133 (pbk.)
ISSN (series): 0302-9743
Title: Intelligent computer mathematics : 16th symposium, Calculemus 2009 : 8th international conference, MKM 2009 : held as part of CICM 2009 : Grand Bend, Canada, July 6-12, 2009 : proceedings. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada.
Series Title: Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence
Title Heading: Lecture notes in computer science ; 5625.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Author Heading: University of Western Ontario. Ontario Research Centre for Computer Algebra.
Carette, Jacques, Ph.D.
Calculemus 2009 (2009 : Grand Bend, Ont.)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xix, 491 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Algebra -- Data processing -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Mathematical analysis -- Data processing -- Congresses.
Knowledge management -- Congresses.
LCC: QA155.7.E4
NDLC: M17
Note (General): Abstracts and selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-751
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010440688
http://id.ndl.go.jp/bib/000010440688
LC Control Number: 2009929069
https://lccn.loc.gov/2009929069
OCLC No.: 419645606
https://www.worldcat.org/oclc/419645606
Bibliographic Record Category (NDL): 215