Stepping Stones in the TPTP World

Book chapter

Peer reviewed

Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings, pp.30-50

2024

Files and links (1)

url

https://doi.org/10.1007/978-3-031-63498-7_3View

Published (Version of record) Open

1 Record Views

Title: Stepping Stones in the TPTP World
Creators: Geoff Sutcliffe - University of Miami
Publication Details: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings, pp.30-50
Number of pages: 21
ISSN: 1611-3349
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Book chapter
Record Identifier: 991032795822102976