Booktitle PAAR/ESHOL
From Semantic Portal Wiki
A list of all pages that have property "Booktitle" with value "PAAR/ESHOL"- The annual sumo reasoning prizes at casc +
- Presenting tstp proofs with inference web tools +
- Integration of the tptpworld into sigmakee +
- Evaluation of systems for higher-order logic (eshol) +
