Vol-3200⫷ Vol-3201 ⫸Vol-3202
urn:nbn:de:0074-3201-0


Vol-3201/invited2⫷Vol-3201/paper11⫸Vol-3201/paper12
Alexander SteenDavid FuenmayorTobias GleißnerGeoff SutcliffeChristoph Benzmüller

Automated Reasoning in Non-classical Logics in the TPTP World