Chapter

Automated Deduction — CADE-12

Volume 814 of the series Lecture Notes in Computer Science pp 764-768

Date:

SCOTT: Semantically constrained otter system description

  • John SlaneyAffiliated withAustralian National University
  • , Ewing LuskAffiliated withArgonne National Laboratory
  • , William McCuneAffiliated withArgonne National Laboratory

* Final gross prices may vary according to local VAT.

Get Access