Kurt Stenzel (stenzel-k)

Contributions to Philosophie.ch

Bibliography

Reif, Wolfgang, Schellhorn, Gerhard, Stenzel, Kurt and Balser, Michael. 1998. “Structured Specifications and Interactive Proofs with KIV.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 13–40. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.