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
ISBN 3-540-61208-4
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.