peter j stuckey (33 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

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].

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

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.

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. pp. xvii + 648 Illus.

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.

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: New.

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

Zustand: New.

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. Functional and Logic Programming | 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings | Yukiyoshi Kameyama (u. a.) | Taschenbuch | x | Englisch | 2004 | Springer | EAN 9783540214021 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Logic-Based Program Synthesis and Transformation | 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers | Fred Mesnard (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2019 | Springer | EAN 9783030138370 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings | Peter J. Stuckey | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2021 | Springer | EAN 9783030782290 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Logic Programming | 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings | Peter J. Stuckey | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540439301 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

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.

Zustand: Used. pp. xvii + 648.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 648 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: New.

Paperback. Zustand: Brand New. 1st edition. 648 pages. 9.45x6.26x1.02 inches. In Stock.