Slakje

swMATH33644MaRDI QIDQ45353FDOQ45353

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-030-29026-9_20

Described by source

• Herbrand constructivization for automated intuitionistic theorem proving

Cited In (4)

• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
• GAPT
• ProofTool
• WhaleProver

This page was built for software: Slakje