KEIM

MaRDI QIDQ31433swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F3-540-58156-1_65?LI=true

Cited in

(2)

• MKRP
• Mechanizing Mathematical Reasoning

This page was built for software: KEIM