×

Found 2 Documents (Results 1–2)

Mollusc: a general proof-development shell for sequent-based logics. (English) Zbl 1433.68564

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 826-830 (1994).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software