Opening book details…
Can I read Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859) on EtoBox?
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859) by Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.) is a computer science book available to read on EtoBox.
What is Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859) about?
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applicatio
Who reads Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1994
- Language
- EN
- ISBN
- 9783540584506
- Category
- computer science
- Subjects
- Mathematics, Language Learning, Education
- Updated
- 2026-03-25
More by Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.)
Browse all works by Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.)
Similar books
- Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Conference,TPHOLs 2007 — Klaus Schneider, Jens Brandt, International Conference on Theorem Proving in Higher Order Logics, TPHOLs, Klaus Schneider, TPHOLs. , (2007)
- Higher Order Logic Theorem Proving And Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (lecture Notes In Computer Science) — Jeffrey J Joyce; Carl-Johan H Seger; HOL User's Group Workshop (1994)
- Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science (1479)) — Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (1998)
- Introduction to HOL : a Theorem Proving Environment for Higher Order Logic — Gordon M.J. C., Melham T.F. (1993)
- Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science) — Otmane Aït Mohamed (auth.), E. Thomas Schubert, Philip J. Windley, James Alves-Foss (1995)
- Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science Book 9807) — Jasmin Christian Blanchette, Stephan Merz (2016)
