Momox logo
Sell books & media
Medimops logo
Buy books & more
Your watchlistWatchlistUser loginSign in
All categories
  • SALE

    In the sale you will find especially cheap items or current promotions.

    To sale
  • Sell instead of buy!

    Want to part with books, CDs, movies or games? Sell everything on momox.com

    To momox
All
    cartcart
    From
    show all
    unknown(8)
    Marc Cameron(4)
    Kissinger, Henry A.(3)
    Witold Abramowicz(2)
    Alison Page(2)
    Bemmel, Jan van(2)
    Ben Shneiderman(2)
    Jürgen Beyerer(2)
    Brad Smith(2)
    Yevgeniy Brikman(2)
    Denis Rothman(2)
    Patrick Felicia(2)
    Neal Ford(2)
    Tabitha Goldstaub(2)
    Svyatoslav Kotusev(2)
    Sam Newman(2)
    Todd Perkins(2)
    Tim Roughgarden(2)
    Tom Taulli(2)
    van Tiggelen, Bart A.(1)
    Carreño, Victor A.(1)
    Condition
    Good(1)
    Price
    €2 - €5(1)
    Medium
    show all
    Paperback(1)
    This filter selection is automatically applied to the "Books" category
    Language
    show all
    English(1)
    Category
    show all
    Books
    Computers & Internet
    IT training & careers
    Computer Science
    • Home
    • Books
    • Computers & Internet
    • IT training & careers
    • Computer Science

    Carreño, Victor A.EnglishPaperbackComputer Science
    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)
    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)
    from  Carreño, Victor A.Used - goodBook - Used - good
    New €53.49
    You save €50.00 (93%)
    Book€3.49
    You save €50.00 (93%)
    New €53.49€3.49
    More Details
    momox books logo
    Customer Service
    Hotline
    • +49 30 488 288 200+49 30 488 288 200
    • Monday - Friday: 09.00 - 18.00 hr


    International


    Order safely


    medimops magazine
    About us
    Newsletter
    Special offers, vouchers and much more! Subscribe to the newsletter and get a one-off 10% discount on your next purchase. By subscribing to the newsletter, you consent to your data being used by advertising partners for newsletter tracking and cross-channel advertising purposes in order to provide you with personalized recommendations and advertising. You can revoke your consent at any time with future effect. You can find further information in the data protection declaration.
    Do you want to find out more?
    Secure payment
    paypalvisamastercardamexcartebleue
    Shipping partner
    laposte
    You can also find us here
    • instagram
    • facebook

    © 2025 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.