KEIM

swMATH19608MaRDI QIDQ31433FDOQ31433

Author name not available (Why is that?)

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

Cited In (2)

• Mechanizing Mathematical Reasoning
• MKRP

This page was built for software: KEIM