Search
Now showing items 1-5 of 5
Theorem Proving in Large Theories
Reif, Wolfgang; Schellhorn, Gerhard; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
Schellhorn, Gerhard; Ahrendt, W.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
Integrating Automated and Interactive Theorem Proving
Ahrendt, W. et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
An Introduction to Interactive Theorem Proving
Nipkow, T.; Reif, Wolfgang; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
Structured specifications and interactive proofs with KIV
Reif, Wolfgang et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches