Google Classroom谷歌课堂
GeoGebraGeoGebra 教室
GeoGebra

Prüfer Tests

作者:Zoltán Kovács, Prover Test
https://www.geogebra.org/prover+test

Beispiel 280 (Chou: Mechanical theorem proving, 1987)

新资源

发现资源

发现主题