Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cade/LuskMS92
AU - Lusk, Ewing L.
AU - McCune, William
AU - Slaney, John K.
TI - ROO: A Parallel Theorem Prover.
BT - Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings
SP - 731
EP - 734
PY - 1992//
DO - 10.1007/3-540-55602-8_213
UR - https://doi.org/10.1007/3-540-55602-8_213
ER -
