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

Language: English

Published by Cambridge University Press, 2005

052183449X / 9780521834490

Series: Book 27 of 40 - Cambridge Tracts in Theoretical Computer Science

  • Hardcover
  • New
See all details

Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

5-star seller

AbeBooks seller since October 9, 2009

Hardcover

Condition: New

£ 169.91

£ 7.82 shipping 
Ships within U.S.A.

Quantity: Over 20 available

Add to basket
Free 30-day returns

Item description from seller

A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 216 pages, 1 b/w illus. 10 colour illus. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 19. Weight in Grams: 475. . 2005. Illustrated. hardcover. . . . . Books ship from the US and Ireland.

Seller Inventory # V9780521834490

Title
Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Author
Bundy, Alan
Publisher
Cambridge University Press
Publication year
2005
Condition
New
Binding
Hardcover
Language
English
ISBN 10
052183449X
ISBN 13
9780521834490
Series
Book 27 of 40: Cambridge Tracts in Theoretical Computer Science

Kennys Bookstore

Olney, MD, U.S.A.

5-star seller

AbeBooks seller since October 9, 2009

Shipping rates within U.S.A.

Item14 to 20 business days13 to 14 business days
First item£ 7.82£ 15.63
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

We carry a comprehensive range of out of print and rare books.

Specialty

Revolution, War, Peace, Irish Studies

Seller's business information

Kennys Bookshop and Art Galleries (Holdings) Limited

Liosbán Retail Park, Tuam Road
Galway, Ireland H91 N5P8