EUCLID

swMATH44477MaRDI QIDQ5974538FDOQ5974538

Author name not available (Why is that?)

Official website: https://www.jstor.org/stable/43999251

Cited In (3)

• ArgoCLP
• URSA
• A coherent logic based geometry theorem prover capable of producing formal and readable proofs

This page was built for software: EUCLID