Order Total (1 Item Items):
Shipping Destination:
Rippling Meta Level Guidance Mathematical by Bundy Alan (10 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (10)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
- All Bindings
- Hardcover (10)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (7)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
Seller: Sequitur Books, Boonsboro, MD, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
£ 11.52
Convert currency£ 24.61 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Good. Hardcover. Good binding and cover. Library markings. Clean, unmarked pages.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning.
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
£ 65.95
Convert currency£ 17.31 shipping from Germany to United KingdomQuantity: 1 available
Add to basketgebundene Ausgabe. Condition: Sehr gut. Cambridge Tracts in Theoretical Computer Science, Band 56. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIV, 202 Seiten, Englisch 468g.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
Hardcover. Condition: New.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 118.43
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
£ 121.35
Convert currency£ 7.46 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Rippling : Meta-Level Guidance for Mathematical Reasoning
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
£ 128.21
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
-
Hardcover. Condition: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 124.21
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 505.
-
Hardcover. Condition: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
Published by Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Language: English
£ 145.33
Convert currency£ 21.68 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketGebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this .
