Zur Startseite gehen
0,00 €*
Cover: 9780521866286 | Constraint Logic Programming using Eclipse | R. Krzysztof Apt | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Constraint Logic Programming using Eclipse
Buch von R. Krzysztof Apt
Sprache: Englisch

90,40 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
This textbook offers an introduction to the Eclipse system and a guide to problem-solving for students and practitioners alike.
This textbook offers an introduction to the Eclipse system and a guide to problem-solving for students and practitioners alike.
Über den Autor
Krzysztof R. Apt received his PhD in 1974 in mathematical logic from the University of Warsaw in Poland. He is a senior researcher at CWI, Amsterdam and Professor of Computer Science at the University of Amsterdam. He is the author of three other books: Verification of Sequential and Concurrent Programs (with E.-R. Olderog), From Logic Programming to Prolog, and Principles of Constraint Programming, and has published 50 journal articles and 15 book chapters. He is the founder and the first editor-in-chief of the ACM Transactions on Computational Logic, and past president of the Association for Logic Programming. He is a member of the Academia Europaea (Mathematics and Informatics Section).
Inhaltsverzeichnis
Introduction; Part I. Logic Programming Paradigm: 1. Logic programming and pure Prolog; 2. A reconstruction of pure Prolog; Part II. Elements of Prolog: 3. Arithmetic in Prolog; 4. Control and meta-programming; 5. Manipulating structures; Part III. Programming with Passive Constraints: 6. Constraint programming: a primer; 7. Intermezzo: iteration in ECLiPSe; 8. Top-down search with passive constraints; 9. The suspend library; Part IV. Programming with Active Constraints: 10. Constraint propagation in ECLiPSe; 11. Top-down search with active constraints; 12. Optimisation with active constraints; 13. Constraints on reals; 14. Linear constraints over continuous and integer variables; Solutions to selected exercises; Bibliographic remarks; Bibliography; Index.
Details
Erscheinungsjahr: 2006
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521866286
ISBN-10: 0521866286
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Apt, R. Krzysztof
Hersteller: Cambridge University Press
Maße: 250 x 175 x 23 mm
Von/Mit: R. Krzysztof Apt
Erscheinungsdatum: 21.12.2006
Gewicht: 0,78 kg
Artikel-ID: 102141306
Über den Autor
Krzysztof R. Apt received his PhD in 1974 in mathematical logic from the University of Warsaw in Poland. He is a senior researcher at CWI, Amsterdam and Professor of Computer Science at the University of Amsterdam. He is the author of three other books: Verification of Sequential and Concurrent Programs (with E.-R. Olderog), From Logic Programming to Prolog, and Principles of Constraint Programming, and has published 50 journal articles and 15 book chapters. He is the founder and the first editor-in-chief of the ACM Transactions on Computational Logic, and past president of the Association for Logic Programming. He is a member of the Academia Europaea (Mathematics and Informatics Section).
Inhaltsverzeichnis
Introduction; Part I. Logic Programming Paradigm: 1. Logic programming and pure Prolog; 2. A reconstruction of pure Prolog; Part II. Elements of Prolog: 3. Arithmetic in Prolog; 4. Control and meta-programming; 5. Manipulating structures; Part III. Programming with Passive Constraints: 6. Constraint programming: a primer; 7. Intermezzo: iteration in ECLiPSe; 8. Top-down search with passive constraints; 9. The suspend library; Part IV. Programming with Active Constraints: 10. Constraint propagation in ECLiPSe; 11. Top-down search with active constraints; 12. Optimisation with active constraints; 13. Constraints on reals; 14. Linear constraints over continuous and integer variables; Solutions to selected exercises; Bibliographic remarks; Bibliography; Index.
Details
Erscheinungsjahr: 2006
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521866286
ISBN-10: 0521866286
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Apt, R. Krzysztof
Hersteller: Cambridge University Press
Maße: 250 x 175 x 23 mm
Von/Mit: R. Krzysztof Apt
Erscheinungsdatum: 21.12.2006
Gewicht: 0,78 kg
Artikel-ID: 102141306
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...