CaPrI

MaRDI QIDQ33138swMATHFDO

Official website https://rd.springer.com/content/pdf/10.1007/3-540-59338-1_36.pdf

Cited in

(2)

• ProCom
• Connection calculus theorem proving with multiple built-in theories

This page was built for software: CaPrI