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

    Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Band 56)

     
    From Alan Bundy
    Only 1 items left in stock
    Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Band 56)

    Description

    A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.

    Product details

    EAN/ISBN:
    9780521834490
    Edition:
    Illustrated
    Format:
    Illustriert
    Medium:
    Bound edition
    Number of pages:
    216
    Publication date:
    2005-06-30
    Publisher:
    Cambridge University Press
    EAN/ISBN:
    9780521834490
    Edition:
    Illustrated
    Format:
    Illustriert
    Medium:
    Bound edition
    Number of pages:
    216
    Publication date:
    2005-06-30
    Publisher:
    Cambridge University Press

    Shipping

    laposte
    Buy on Amazon
    The edition supplied may vary.
    Condition
    €114.99
    Used - good
    €114.99
    available immediately
    New €124.60 You save €9.61 (7%)
    €114.99
    incl. VAT, plus  Shipping costs
    paypalvisamastercardamexcartebleue
    • Icon badgeChecked second-hand items
    • Icon packageFree shipping from 19 €
    • Icon vanWith you in 2-4 working days

    More from Alan Bundy

    Recommended for you

    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    momox books logo
    Customer Service
    Hotline
    • phone+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 logo
    • Facebook logo

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