CoDe

swMATH32378MaRDI QIDQ44089FDOQ44089

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F3-540-63104-6_25

Described by source

• CODE: A powerful prover for problems of condensed detachment

Cited In (3)

• SCOTT
• Evaluating general purpose automated theorem proving systems
• TreeRePair

This page was built for software: CoDe