DMCA

Isabelle-91 (1992)

by Tobias Nipkow , Lawrence C. Paulson
Venue:In Proceedings of the 11th International Conference on Automated Deduction, D. Kapur, Ed. Springer-Verlag LNAI 607
Citations:2 - 0 self