Search
Now showing items 31-35 of 35
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
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Greiner, C. et al. (1998)
Beitrag zu einer Konferenz
Theorem Proving in Large Theories
Reif, Wolfgang; Schellhorn, Gerhard; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches