10 Apr
2021
10 Apr
'21
7:23 a.m.
Journal of Automated Reasoning
に掲載された下記の論文をreviewしましたので、 ご案内しておきます。
https://zbmath.org/?q=an%3A07311961
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=a4m3ejgGOkI