Theorem Proving and (2004)

by A Lyaletski, A Paskevich, K Verchinin
Venue:Proof Verification in the System SAD. In Mathematical Knowledge Management, Third International Conference, Białowieza, Poland, Proceedings, LNCS 3119