Theorem Proving in Higher Order Logics: 11th International Conference, Tphol...
60,68 €
The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.
Jetzt bei Ebay:
