Sean B. Holden
Sean B. Holden
Affiliation: University of Cambridge
Pages in this Program
The TPTP Format for Clausal Connection Tableaux
Reset Early, Reset Often, Eliminate Models
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑