System Abstract: E 0.3
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 297-301
- https://doi.org/10.1007/3-540-48660-7_27
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- SETHEO and E-SETHEO - The CADE-13 SystemsJournal of Automated Reasoning, 1997
- Otter - The CADE-13 Competition IncarnationsJournal of Automated Reasoning, 1997
- DISCOUNT - A Distributed and Learning Equational ProverJournal of Automated Reasoning, 1997
- SPASS & FLOTTER version 0.42Lecture Notes in Computer Science, 1996
- Term IndexingPublished by Springer Nature ,1995
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- The TPTP problem libraryPublished by Springer Nature ,1994