HOARD ATINF

swMATH28890MaRDI QIDQ40604FDOQ40604

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: HOARD ATINF