Setsuo Takato-rekin lankidetzan egindako argitalpenak (1)

2018

  1. Issues and challenges about instrumental proof

    Applications of Computer Algebra: proceedings