Computing Publications

Publications Home » Distributed Modal Theorem Proving...

Distributed Modal Theorem Proving with the system KE

Jeremy Pitt, Jim Cunningham

Conference or Workshop Paper
Fifth International Workshop on Theorem Proving with Semantic Tableaux and Related Methods, Palermo
1996
pp.3–540
ISBN 3-540-61208-4
BibTEX file for the publication
 

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