GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics

Ricardo Caferra, Michel Herment. GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. In Alfonso Miola, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings. Volume 722 of Lecture Notes in Computer Science, pages 229-240, Springer, 1993.

Abstract

Abstract is missing.