Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cade/GransdenWR15
AU - Gransden, Thomas
AU - Walkinshaw, Neil
AU - Raman, Rajeev
TI - SEPIA: Search for Proofs Using Inferred Automata.
BT - Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
SP - 246
EP - 255
PY - 2015//
DO - 10.1007/978-3-319-21401-6_16
UR - https://doi.org/10.1007/978-3-319-21401-6_16
ER -
