001 |
|
99731 |
020 |
|
|a9783642141270 (paper)
|
020 |
|
|a9783642141287 (electronic bk.)
|
050 |
04
|
|aQA155.7.E4|bC35 2010|cA299
|
082 |
04
|
|a512.0285|222
|
090 |
|
|aQA155.7.E4|bA299 2010
|
809 |
|
|pEB|dQA155.7.E4|eA299|y2010
|
111 |
2
|
|aAISC 2010|d(2010 :|cParis, France)
|
245 |
10
|
|aIntelligent computer mathematics|h[electronic resource] :|b10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings /|cedited by Serge Autexier ... [et al.].
|
260 |
|
|aBerlin, Heidelberg :|bSpringer-Verlag Berlin Heidelberg,|c2010.
|
300 |
|
|a469 p. :|bill., digital ;|c24 cm.
|
440 |
0
|
|aLecture notes in computer science,|x0302-9743 ;|v6167
|
650 |
0
|
|aAlgebra|xData processing|vCongresses.
|
650 |
0
|
|aKnowledge management|vCongresses.
|
650 |
0
|
|aLogic, Symbolic and mathematical|vCongresses.
|
650 |
0
|
|aMathematical analysis|xData processing|vCongresses.
|
650 |
14
|
|aComputer Science.
|
650 |
24
|
|aArtificial Intelligence (incl. Robotics)
|
700 |
1
|
|aAutexier, Serge.
|
710 |
2
|
|aSpringerLink (Online service)
|
773 |
0
|
|tSpringer eBooks
|
856 |
40
|
|uhttp://dx.doi.org/10.1007/978-3-642-14128-7
|
950 |
|
|aComputer Science (Springer-11645)
|
856 |
40
|
|uhttp://dx.doi.org/10.1007/978-3-642-14128-7
|