Satoshi
Yamashita
Satoshi Yamashita-rekin lankidetzan egindako argitalpenak (1)
2018
-
Issues and challenges about instrumental proof
Applications of Computer Algebra: proceedings