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
Lingua: inglese
Editore: Cambridge University Press, 2009
- Brossura
- Usato

Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Venditore AbeBooks dal 14 luglio 2011
Condizione: Usato - Molto buono
EUR 79,00
Quantità: 1 disponibile
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
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.…
Codice articolo BN43494
- Titolo
- 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
- Autore
- Thom Frühwirth (Autor)
- Editore
- Cambridge University Press
- Anno di pubblicazione
- 2009
- Condizione
- gut
- Rilegatura
- Softcover
- Lingua
- inglese
- ISBN 10
- 0521877768
- ISBN 13
- 9780521877763
- Edizione
- 2009.
- Peso dell'articolo
- 710 grammi
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Informazioni sull’autore
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Wahlstedt, Germania
Venditore AbeBooks dal 14 luglio 2011
Tariffe di spedizione da Germania a U.S.A.
| Articolo | Da 9 a 29 giorni lavorativi | Da 8 a 19 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 39,95 | EUR 49,95 |
Metodi di pagamento
- Assegno
- Bonifico bancario
- Fattura
- PayPal
Descrizione dello Store
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…
Informazioni sull’azienda del venditore
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Germania
Condizioni di vendita
Informazione legale :
Servizio Antiquario Lars Lutzer - Imprenditore individuale - Indirizzo: Lars Lutzer -Alte Landstr. 39- 23812 Wahlstedt Deutschland /Germany /Germania - TEL: +49 (0) 176 / 63887918 - Email: L.Lutzer(at)LLU-Buchservice(punto)de, UID / VAT / IVA: DE277819159.
Diritto di recesso
Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.
Informazioni sul diritto di recesso
Diritto legale di recesso
Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.
Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.
Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).
Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.
Effetti del recesso
In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).
Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.
Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.
Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.
Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.
Dovrai rispedire i beni o consegnarli a BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Lars Lutzer, Alte Landstrasse 39, 23812, Wahlstedt, Germany, senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.
Eccezioni al diritto di recesso
Il diritto di recesso non si applica a:
- La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
- La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.
Condizioni di spedizione
Widerrufsrecht für Verbraucher
Verbrauchern steht ein Widerrufsrecht nach folgender Maßgabe zu, wobei Verbraucher jede natürliche Person ist, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden können:
Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen. Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht Beförderer ist, die Waren in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns: Lars Lutzer - Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt, Deutschland /Germany- Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , TEL: +49 (0) 176 / 63887918 - UID: DE277819159 mittels einer eindeutigen Erklärung (z.B. ein mit der Post versandter Brief oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.
Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.
Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen die unmittelbaren Kosten der Rücksendung der Waren.
Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
Muster-Widerrufsformular
(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück.)
– An Lars Lutzer, Alte Landstr. 39, 23812 Wahlstedt, Deutschland, E-Mail: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE:
– Hiermit widerrufe(n) ich/wir (*) den von mir/uns (*) abgeschlossenen Vertrag über den Kauf der folgenden Waren (*)/die Erbringung der folgenden Dienstleistung (*)
– Bestellt am (*)/erhalten am (*)
– Name des/der Verbraucher(s)
– Anschrift des/der Verbraucher(s)
– Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier)
– Datum
(*) Unzutreffendes streichen.