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

Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew

ISBN 10: 052183449X ISBN 13: 9780521834490

Verlag: Cambridge University Press, 2005

Sprache: Englisch

Zustand: Gebraucht - Befriedigend Hardcover

F�r sp�ter vormerken

Verkauft von Sequitur Books, Boonsboro, MD, USA

Verbandsmitglied:

IOBA

AbeBooks-Verk�ufer seit 16. Juni 2008

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Gebraucht - Befriedigend

Preis: EUR 13,18 W�hrung umrechnen

EUR 28,16 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Hardcover. Good binding and cover. Library markings. Clean, unmarked pages.

Bestandsnummer des Verk�ufers 1807050038

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

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

Verlag

Cambridge University Press

Erscheinungsjahr

2005

Sprache

Englisch

ISBN-10

052183449X

ISBN-13

9780521834490

Einband

Hardcover

Zustand

Good

Verk�uferkataloge

Computers

�ber diesen Titel

Inhaltsangabe

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

�ber die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Sequitur Books is an independent academic bookstore. We pride ourselves on exceptional customer service, a thought provoking selection and extremely fast shipping. Our motto, For every person, a good book!

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Sequitur Books
MD, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Refunds are given upon return of book within 14 days. If you are in any way unhappy with your purchase, please contact us and we will do our best to resolve the situation. Prices are as listed.

Versandbedingungen

Unless specified, we ship via the United States Postal Service. Domestic expedited orders are shipped via priority mail. Standard orders are shipped via media mail.

International orders are shipped via air mail.

Overnight orders are shipped via Express mail.

Oversized, folio, and multi-volume sets may require additional shipping for international orders.