Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 20
67,21 €
TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and veri'cation. There were 42 papers submitted to TPHOLs 2004 in the full research ca- gory, each of which was refereed by at least 3 reviewers selected by the program committee.
Jetzt bei Ebay:
