ISSE

Search

Implementing Verification Strategies in the KIV-System

M. Heisel, W. Reif, and W. Stephan

Implementing Verification Strategies in the KIV-System

published 1988 E. Lusk and R. Overbeek, editors, 9th International Conference on Automated Deduction. Proceedings

Publisher: Springer LNCS 310