Articoli correlati a Rippling: Meta-Level Guidance for Mathematical Reasoning
Sinossi
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
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 and to the wider subject of automated inductive theorem proving.
Contenuti
Preface; 1. An introduction to rippling; 2. Varieties of rippling; 3. Productive use of failure; 4. A formal account of rippling; 5. The scope and limitations of rippling; 6. From rippling to a general methodology; 7. Conclusions; Appendix 1. An annotated calculus and a unification algorithm; Appendix 2. Definitions of functions used in this book; Bibliography; Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 80,23
EUR 5,79 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Rippling: Meta-Level Guidance for Mathematical Reasoning
Foto dell'editore
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
Editore:
Cambridge University Press, 2005
ISBN 10: 052183449X
ISBN 13: 9780521834490
Antico o usato
Rilegato
Da: Sequitur Books, Boonsboro, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Hardcover. Good binding and cover. Library markings. Clean, unmarked pages. Codice articolo 1807050038
Quantità: 1 disponibili
Foto dell'editore
Rippling: Meta-Level Guidance for Mathematical Reasoning.
Editore:
Cambridge University Press, 2005
ISBN 10: 052183449X
ISBN 13: 9780521834490
Antico o usato
Rilegato
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
gebundene Ausgabe. Condizione: Sehr gut. Cambridge Tracts in Theoretical Computer Science, Band 56. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIV, 202 Seiten, Englisch 468g. Codice articolo 492561
Quantità: 1 disponibili
Foto dell'editore
RIPPLING META LEVEL GUIDANCE FOR MATHEMATICAL REASONING (HB 2005)
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo CBS 9780521834490
Quantità: 1 disponibili
Foto dell'editore
RIPPLING META LEVEL GUIDANCE FOR MATHEMATICAL REASONING (HB 2005)
Da: URW Books Store, CASPER, WY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. Brand New! Fast Delivery, Delivery With In 7-10 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States. Codice articolo CBSBOOKS31261
Quantità: 1 disponibili
Foto dell'editore
Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Da: WYEMART LIMITED, HEREFORD, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Codice articolo mon0000272696
Quantità: 1 disponibili
Foto dell'editore
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521834490
Quantità: Più di 20 disponibili
Foto dell'editore
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521834490_new
Quantità: Più di 20 disponibili
Foto dell'editore
Rippling: Meta-Level Guidance for Mathematical Reasoning
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand. Codice articolo __052183449X
Quantità: 1 disponibili
Foto dell'editore
Rippling: Meta-Level Guidance for Mathematical Reasoning
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 505. Codice articolo C9780521834490
Quantità: Più di 20 disponibili
Foto dell'editore
Rippling
Editore:
Cambridge University Press CUP, 2005
ISBN 10: 052183449X
ISBN 13: 9780521834490
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xiv + 202 Index. Codice articolo 26262943
Quantità: 4 disponibili