HOARD ATINF

MaRDI QIDQ40604swMATHFDO

Official website https://rd.springer.com/chapter/10.1007%2F3-540-45410-1_16

Cited in

(2)

• SCOTT
• A review and prospect of readable machine proofs for geometry theorems

This page was built for software: HOARD ATINF