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


Vol-1770/ARQNL2016_paper3⫷Vol-1770/ARQNL2016_paper4⫸Vol-1770/ARQNL2016_paper5
Max WisniewskiAlexander SteenChristoph Benzmüller

TPTP and Beyond: Representation of Quantified Non-Classical Logics