24 results on '"Wenzel, Markus"'
Search Results
2. Pattern Recognition and Classification in High-Resolution Magnetic Resonance Spectra
3. A Minimally-Interactive Watershed Algorithm Designed for Efficient CTA Bone Removal
4. Isabelle/Isar
5. Calculational Reasoning Revisited An Isabelle/Isar Experience
6. Computer-Assisted Mathematics at Work : The Hahn-Banach Theorem in Isabelle/Isar
7. Inductive Datatypes in HOL — Lessons Learned in Formal-Logic Engineering
8. Isar — A Generic Interpretative Approach to Readable Formal Proof Documents
9. Locales A Sectioning Concept for Isabelle
10. Object-oriented verification based on record subtyping in Higher-Order Logic
11. Type classes and overloading in higher-order logic
12. A Minimally-Interactive Watershed Algorithm Designed for Efficient CTA Bone Removal
13. Isabelle/Isar
14. Pattern Recognition and Classification in High-Resolution Magnetic Resonance Spectra
15. 3. More Functional Programming
16. 2. Functional Programming in HOL
17. 9. Advanced Simplification, Recursion, and Induction
18. 8. More about Types
19. 7. Inductively Defined Sets
20. 10. Case Study: Verifying a Security Protocol
21. 6. Sets, Functions, and Relations
22. 1. The Basics
23. 5. The Rules of the Game
24. 4. Presenting Theories
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.