PROTEIN: A PROver with a Theory Extension Interface (1994)

by Peter Baumgartner , Ulrich Furbach
Venue:AUTOMATED DEDUCTION -- CADE-12, VOLUME 814 OF LNAI
Citations:40 - 10 self

Document Versions

PROTEIN: A PROver with a Theory Extension Interface –Peter Baumgartner, Ulrich Furbach — 1994 — AUTOMATED DEDUCTION -- CADE-12, VOLUME 814 OF LNAI