peter stuckey (43 Ergebnisse)

Zustand: Good. 1379 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

First edition. Softcover. 519 pages. Exhibition catalog for a show that ran May 1 through July 31, 1988 in D.C. and then traveled to The Art Institute of Chicago and Paris for additional dates. Text by Richard Brettell, Francoise Cachin, Claire Freches-Thory, Charles F. Stuckey and Peter Zengers. Includes numerous color and black and white illustrations. A tight near fine copy in wrappers with some light wear and a slight lean but internally a clean copy. This is a heavy and oversized book and will require extra shipping.

Zustand: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.

Hardcover. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Soft cover. Zustand: Good. Cover design and sketches by Peter Stuckey (illustrator). First Thus. Reprint of book first published in the year of the Battle of Trafalgar, a comic saucy novel about the sailing navy written by one of it midshipmen. Complete with historical introduction and glossary. Firmly bound and mostly clean with some handling wear and marks.

Soft cover. Zustand: Good. cover design and sketches by Peter Stuckey (illustrator). Clean and firmly bound with light handling wear.

paperback. Zustand: very good(+). GAUGUIN, Paul (illustrator). Color and black & white reproductions throughout. xxvi + 519 pages. Thick 4to, pictorial wrappers; lightly rubbed, sunning to rear cover Washington: National Gallery of Art, (1988). Internally fine, a very good(+) copy.

paperback. Zustand: fine. GAUGUIN, Paul (illustrator). Reprint. Color and black & white reproductions throughout. xxvi, 519 pages. Thick 4to, glossy pictorial wrappers. Washington: National Gallery of Art, (1988). Second printing. A fine copy.

Zustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

Hardcover. Zustand: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2401. [xi, 486 p. : ill. ; 24 cm].

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

8°, Pappband mit Umschlag-O. Zustand: Gut. 158 Seiten, Mit zahlreichen Abbildungen, Exlibris auf Vorsatz, Kopfschnitt leicht nachgedunkelt, sonst sauberes Exemplar. P42834_Segels. Sprache: Englisch Gewicht in Gramm: 279.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Paperback. Zustand: Brand New. 224 pages. 9.25x6.10x0.47 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 485 pages. 9.25x6.10x0.99 inches. In Stock.

Zustand: New.

Zustand: New. pp. xvii + 648 Illus.

Taschenbuch. Zustand: Sehr gut. Gebraucht - Sehr gut - ungelesen,als Mängelexemplar gekennzeichnet, mit leichten Mängeln an Schnitt oder Umschlag durch Lager- oder Transportschaden -This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1428 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 1428 | Sprache: Englisch | Produktart: Bücher | These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics:analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7 9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional progr- mingandlogicprogramming. Inparticularitaimstostimulatethecross-fertili- tion as well as the integration of the two paradigms. The previous FLOPS me- ings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999),Tokyo(2001)and Aizu (2002). The proceedingsofFLOPS 1999,FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted el- tronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at theconference. Inadditiontothe18contributedpapers,thesymposiumincluded talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur mann (Yale University), and Peter Selinger (University of Ottawa).

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online.The 30 regular papers presented were carefully reviewed and selected from a total of 75 submissions. The conference program included a Master Class on the topic 'Explanation and Verification of Machine Learning Models'.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.