Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 20
68,63 €
There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.
Jetzt bei Ebay:
