Theorem Proving and Proof Verification in the System SAD - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine. Theorem Proving and Proof Verification in the System SAD. In Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Volume 3119 of Lecture Notes in Computer Science, pages 236-250, Springer, 2004. [doi]

This author has not been identified. Look up 'Alexander V. Lyaletski' in GoogleThis author has not been identified. Look up 'Andrey Paskevich' in GoogleThis author has not been identified. Look up 'Konstantin Verchinine' in Google

runs on WebDSL