Search
Now showing items 21-30 of 35
Theorem Proving in Large Theories
Reif, Wolfgang; Schellhorn, Gerhard; 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
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
Formal Support for the Development of Knowledge-based Systems
Fensel, D. et al. (1998)
Wissenschaftlicher Artikel
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
Schellhorn, Gerhard; Ahrendt, W.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
Software-Sicherheit mit formalen Methoden
Reif, Wolfgang (1998)
Wissenschaftlicher Artikel
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
Börger, Egon; Schulte, Wolfram; Brim, L.; Gruska, J.; Zlatuska, J. (1998)
Beitrag zu einer Konferenz
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Greiner, C. et al. (1998)
Beitrag zu einer Konferenz
Applying Metrics to Cross-Technical Evaluations
Ernst, Dietmar; Houdek, Frank; Coombes, H.; Hooft van Huysduynen, M.; Peeters, B. (1998)
Beitrag zu einer Konferenz