Google ClassroomGoogle Classroom
GeoGebraGeoGebra Classroom
GeoGebra

Prüfer Tests

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

Beispiel 280 (Chou: Mechanical theorem proving, 1987)

Nuove risorse

Scopri le risorse

Scopri gli argomenti