Formalized Mathematics Volume 25, Issue 2 (Jul 2017) が発刊されました.
https://www.degruyter.com/view/j/forma.2017.25.issue-2/issue-files/forma.2017.25.issue-2.xml
Formalized Mathematics Volume 25, Issue 2 (Jul 2017)
トラックバック(0)
トラックバックURL: http://mizar-jp.org/mt/cgi-bin/mt-tb.cgi/5
コメントする