Theorem Proving in Higher Order Logics: 16th International Conference, Tphol...
76,91 €
TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. The organizers are grateful to Jean-Raymond Abrial, Patrick Lincoln, and Dale Miller for agreeing to give invited talks at TPHOLs 2003.
Jetzt bei Ebay:
