Vol-3874⫷ Vol-3875 ⫸Vol-3876
urn:nbn:de:0074-3875-0


Vol-3875/ARQNL2024_paper2⫷Vol-3875/ARQNL2024_paper3⫸Vol-3875/ARQNL2024_paper4
Didier GalmicheBrandon HornbeckDaniel Méry

Automated Proof Search in Intuitionistic Sentential Logic