cartcart

    Popularity
    Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
    New €53.49
    You save €25.35 (47%)
    book€28.14
    You save €25.35 (47%)
    New €53.49€28.14

    Recommended for you