CaPrI

swMATH21330MaRDI QIDQ33138FDOQ33138

Author name not available (Why is that?)

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