Towards mechanized mathematical assistants [electronic resource] : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings / Manuel Kauers ... [et al.] (eds.).

Liknande verk

• Computer algebra in scientific computing : CASC 2000 : proceedings of the third Workshop on Computer Algebra in Scientific Computing, Samarkand, October 5-9, 2000 /
  Publicerad: (2000)
• EUROCAL '87 : European Conference on Computer Algebra : Leipzig, GDR, June 2-5, 1987 : proceedings /
  Publicerad: (1989)
• Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 /
  Publicerad: (1979)
• Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /
  Publicerad: (1982)
• Algebraic informatics second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers /
  Publicerad: (2007)