(rigorous procedure for refereeing) Intelligent Computer Mathematics, series: Lecture Notes in Computer Science Conference

date

  • 2009