Algebraic Semiotics, ProofWebs, and Distributed Cooperative Proving (1997)

by Joseph Goguen , Akira Mori , Kai Lin
Venue:Proceedings, User Interfaces for Theorem Provers
Citations:10 - 9 self