Volume: Vol-3875 ARQNL 2024 | Year: 2024

Paper: « ARQNL2024_paper2 | ARQNL2024_paper3 | ARQNL2024_paper4 »

Automated Proof Search in Intuitionistic Sentential Logic

• Brandon Hornbeck dblp
• Didier Galmiche dblp
• Daniel Méry dblp

24-37 PDF