Constraint Handling Rules Thom Frühwirth CHR Tutoria CHR programs CHR Language Syntax semantics Properties of CHR Program analysis Rule-based graph-based formalisms in CHR; Part programs Applications analysis Finite domain constraint solvers Infinite domain constraint solvers Union-find algorithm

Idioma: inglés

Editorial: Cambridge University Press, 2009

0521877768 / 9780521877763

  • Tapa blanda
  • Usado
Ver todos los detalles

Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer

Vendedor de 5 estrellas

Vendedor de IberLibro desde 14 de julio de 2011

Tapa blanda

Condición: Usado - Bueno

EUR 79,00

Envío por EUR 39,95 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Constraint Handling Rules (CHR) is both a special-purpose language for programming with rules, and a general-purpose language for computational logic and beyond. This book from the creator of the language describes the theory of CHR and how to use it in practice. It is the definitive reference on the subject. Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject. Author: Thom Frühwirth is a Professor in the Faculty of Computer Science at the University of Ulm, Germany. He is the creator of the programming language Constraint Handling Rules (CHR) and the main author of two books on constraint programming and reasoning. Content: Preface; Part I. CHR Tutorial: 1. Getting started; 2. My first CHR programs; Part II. The CHR Language: 3. Syntax and semantics; 4. Properties of CHR; 5. Program analysis; 6. Rule-based and graph-based formalisms in CHR; Part III. CHR Programs and Applications: 7. My first CHR programs, revisited for analysis; 8. Finite domain constraint solvers; 9. Infinite domain constraint solvers; 10. Union-find algorithm; Bibliography; List of figures; List of illustrations; Index. Constraint Handling Rules Thom Frühwirth CHR Tutoria CHR programs CHR Language Syntax semantics Properties of CHR Program analysis Rule-based graph-based formalisms in CHR; Part programs Applications analysis Finite domain constraint solvers Infinite domain constraint solvers Union-find algorithm Zusatzinfo: Worked examples or Exercises Verlagsort: Cambridge Sprache: englisch Maße: 178 x 253 mm Mathematik Informatik Programmiersprachen Programmierwerkzeuge Theorie Studium Künstliche Intelligenz Robotik Constraint-Programmierung ISBN-10: 0-521-87776-8 0521877768 ISBN-13: 978-0-521-87776-3 9780521877763 In englischer Sprache. 320 pages. 24,4 x 17,4 x 2,6 cm.…

N° de ref. del artículo BN43494

Título
Constraint Handling Rules Thom Frühwirth CHR Tutoria CHR programs CHR Language Syntax semantics Properties of CHR Program analysis Rule-based graph-based formalisms in CHR; Part programs Applications analysis Finite domain constraint solvers Infinite domain constraint solvers Union-find algorithm
Autor
Thom Frühwirth (Autor)
Editorial
Cambridge University Press
Año de publicación
2009
Estado
gut
Encuadernación
Softcover
Idioma
inglés
ISBN 10
0521877768
ISBN 13
9780521877763
Edición
2009.
Peso del artículo
710 gramos

BUCHSERVICE / ANTIQUARIAT Lars Lutzer

Wahlstedt, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 14 de julio de 2011

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 9 a 29 días hábilesDe 8 a 19 días hábiles
Primer artículoEUR 39,95EUR 49,95
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Factura
  • Giro bancario
  • PayPal

Descripción de la tienda

ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Sollten Sie auf der Suche nach einem (ggf.raren/vergriffenen) Fachbuch sein, nutzen Sie einfach unseren persönlichen Service rund ums Buch. Wir besorgen jedes lieferbare Buch schnellstmöglich (sowie CDs, Kassetten, Spiele, Fortsetzungen, Fachzeitschriften etc.) und lösen auch anspruchsvollere Aufgaben - testen Sie uns! Für Kunden, die nach bestimmten Buchtiteln suchen, bieten wir einen unverbindlichen und kostenlosen Recherche-Service. Dank unserer guten Vernetzung kann unser Buchservice oft selbst solche Bücher aufspüren, die auf dem Markt bereits seit langem vergriffen sind. ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Impressum: BuchService Lars Lutzer - Einzelunternehmung -Alte Landstr. 39- 23812 Wahlstedt- TEL: +49 (0) 176 / 63887918 Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , UID: DE277819159…

Información empresarial del vendedor

BUCHSERVICE / ANTIQUARIAT Lars Lutzer

Alemania

Información legal :
Servicio libros de ocasión Lars Lutzer - Empresa individual - Dirección: Lars Lutzer -Alte Landstr. 39- 23812 Wahlstedt Deutschland /Germany /Alemania - TEL: +49 (0) 176 / 63887918 - Email: L.Lutzer(at)LLU-Buchservice(punto)de, UID / VAT / IVA: DE277819159.