Liknande böcker

Computing and Combinatorics [electronic resource] : 6th Annual Internati...
Bok av Australia) 2000 : (6th : COCOON 2000 Sydney
Coordination Models and Languages : 15th International Conference, COORD...
Bok av Rocco. Nicola
Creativity in Computing and DataFlow SuperComputing
Bok
Computer Science – Theory and Applications : 6th International Computer...
Bok av Alexander. Kulikov
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Modelling Distributed Systems
Bok av Wan. Fokkink
Vector and Parallel Processing VECPAR'98 : Third International Conferen...
Bok av Jack J. Dongarra
Logic for Programming, Artificial Intelligence, and Reasoning: 9th Inter...
Bok av Matthias Baaz

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 2023, 2002 Proceedings

Bok av César A. Muñoz
Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics held in the USA in 2002. The 20 papers cover issues in HOL theorem proving and formal verification of software and hardware systems, evaluating Isabelle/HOL, Isabelle/Isar and Coq.