Opening book details…
Can I read Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic on EtoBox?
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.) is a mathematics available to read on EtoBox.
What is Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic about?
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Marku
Who reads Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2002
- Language
- EN
- ISBN
- 9783540433767
- Category
- mathematics
- Subjects
- Mathematics, Engineering, Philosophy
- Updated
- 2026-03-25
Other editions & translations
- Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, E (2019)
- Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, E (2002)
- Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science (2283)) (2002)
More by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)
Browse all works by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)
Similar books
- Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science (828)) — Lawrence C. Paulson (1994)
- Advances In Proof Theory (progress In Computer Science And Applied Logic) — Reinhard Kahle, Thomas Strahm, Thomas Studer (2016)
- Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science) — Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (2004)
- Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic) — Wei Li (2010)
- Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097)) — José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (2004)
- Reasoning with Logic Programming (Lecture Notes in Computer Science (1111)) — José Júlio Alferes, Luís Moniz Pereira (1996)