TIP

swMATH19204MaRDI QIDQ31034FDOQ31034

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-662-48899-7_16

Cited In (7)

• Hipster
• Graphsc
• Pirate
• QuickSpec
• MATHsAiD
• TIP: tools for inductive provers
• Automated theory exploration for interactive theorem proving: an introduction to the Hipster system

This page was built for software: TIP