Vol-1769⫷ Vol-1770 ⫸Vol-1771
urn:nbn:de:0074-1770-0


Vol-1770/ARQNL2016_invited1⫷Vol-1770/ARQNL2016_paper1⫸Vol-1770/ARQNL2016_paper2
Jens Otten

Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic