Volume: Vol-3717 PAAR+SC-Square 2024 | Year: 2024

Paper: « paper3 | paper4 | paper5 »

TPTP World Infrastructure for Non-classical Logics

• Alexander Steen dblp
• Geoff Sutcliffe ORCID dblp Wikidata

74-90 PDF