The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: 12th Conference on Automated Deduction (CADE-12)
Editors:Bundy, A.
Book#: 3-540-58156-1
Publisher:Springer-Verlag, Heidelberg
Pages: 826-830

Paper in Conference Proceedings #862

Title:Mollusc: a General Proof Development Shell for Sequent Based Logics
Authors:Richards,B; Kraan,I; Smaill,AD; Wiggins,G
Date: 1994
Keywords:logic, proof, editors

[Search These Pages] [DAI Home Page] [Comment]