Computing Publications

Publications Home » Tool Support for Natural Deduction

Tool Support for Natural Deduction

Krysia Broda, Susan Eisenbach, Lloyd Kamara

Conference or Workshop Paper
Proceedings of ACSE96, CACM
1996
Keywords
Distributed Software Engineering
SLURP
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.