Jump to main content

yr 〜
yr

Search results 2

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-762>
National Diet Library
  • Author Heading...tt, Stephen M. Davenport, James H. Sexton, Alan P. Sojka, Petr. ...

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)
Paper図書
Springerc2011.<M17-12-425>
National Diet Library
  • Author HeadingCalculemus 2011 (2011 : Bertinoro, Italy) Davenport, James H. MKM 2011 (2011 : Bertinoro, I...

Reached to the end of result.

RSS