(rigorous procedure for refereeing) Artificial Intelligence & Symbolic Computation in series Lecture Notes in Computer Science Conference

date

  • 2006