GrAnDe

MaRDI QIDQ18706swMATHFDO

Official website http://www.cs.miami.edu/~tptp/ATPSystems/GrAnDe/

Cited in

(4)

• scientific article; zbMATH DE number 2090306 (Why is no real title available?)
• The disconnection tableau calculus
• DCTP
• 3TAP

This page was built for software: GrAnDe