OTT2MIZ

OTT2MIZ-水獭到MIZAR翻译。

ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. Coghetto,罗兰:实射影平面中的Pascal定理(2017)