|
" Intelligent computer mathematics "
Johan Jeuring .. [et al.] (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605463
|
| Doc. No
|
:
|
b434682
|
| Main Entry
|
:
|
AISC (Conference)(11th :2012 :, Bremen, Germany)
|
| Title & Author
|
:
|
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 /\ Johan Jeuring .. [et al.] (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7362.Lecture notes in artificial intelligence
|
|
|
:
|
LNCS sublibrary. SL 7, Artificial intelligence
|
| Page. NO
|
:
|
1 online resource (xviii, 471 p.) :: ill. (some col.)
|
| ISBN
|
:
|
9783642313745 (electronic bk.)
|
|
|
:
|
: 3642313744 (electronic bk.)
|
|
|
:
|
9783642313738
|
|
|
:
|
3642313736
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses
|
| Subject
|
:
|
Artificial intelligence-- Mathematics, Congresses
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.M35A35 2012eb
|
|
|
:
|
QA76.9.M35A35 2012eb
|
| Added Entry
|
:
|
Jeuring, Johan,1965-
|
| Added Entry
|
:
|
Calculemus 2012(2012 :, Bremen, Germany)
|
|
|
:
|
DML 2012(2012 :, Bremen, Germany)
|
|
|
:
|
MKM 2012(2012 :, Bremen, Germany)
|
|
|
:
|
CICM 2012(2012 :, Bremen, Germany)
|
| Parallel Title
|
:
|
AISC 2012
|
|
|
:
|
: Calculemus 2012
|
|
|
:
|
: DML 2012
|
|
|
:
|
: MKM 2012
|
|
|
:
|
: CICM 2012
|
| |