Published by Berlin/ Heidelberg, Springer Berlin., 2004
ISBN 10: 3540226710 ISBN 13: 9783540226710
Language: English
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
2004. 15 x 23 cm. XII, 484 S. XII, 484 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science). Sprache: Englisch.
Condition: New.
Condition: New.
Condition: New.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 66.58
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 66.58
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.87
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Paperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 66.57
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.62
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 75.57
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Springer-Verlag New York Inc, 2011
ISBN 10: 3642225306 ISBN 13: 9783642225307
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 166 pages. 9.25x6.10x0.38 inches. In Stock.
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540226710 ISBN 13: 9783540226710
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presentedat the 20th InternationalConference onLogicProgramming,held in Saint-Malo,France,September 6 10,2004.Since the rst meeting in this series, held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year, we received 70 technical papers from countries all over the world, and the ProgramCommittee accepted 28 of them for presentation;they are included in this volume. A stand-by-your-postersession took place during the conference. It servedas aforumforpresentingworkinamoreinformalandinteractivesetting.Abstracts ofthe16postersselectedbytheProgramCommitteeareincludedinthisvolume as well. The conference program also included invited talks and invited tutorials. We were privileged to have talks by three outstanding researchers and excellent speakers: Nachum Dershowitz (Tel Aviv University, Israel) talked on Ter- nation by Abstraction, Michael Gelfond (Texas Tech University, USA) on - swer Set Programming and the Design of Deliberative Agents,andG erard Huet (INRIA, France) on Non-determinism Lessons. Two of the invited talks appear in these proceedings. The tutorials covered topics of high interest to the logic programming community: Ilkka Niemel a gave a tutorial on The Implementation of Answer Set Solvers, Andreas PodelskionTree Automata in Program Analysis and Veri cation, and Guillermo R. Simari onDefeasible Logic Programming and Belief Revision. Satelliteworkshopsmadetheconferenceevenmoreinteresting.Sixworkshops collocated with ICLP 2004: CICLOPS2004, Colloquium on Implementation of Constraint and Logic Programming Systems, organized by Manuel Carro. COLOPS2004,2ndInternationalWorkshoponConstraint&LogicProgr- ming in Security, organized by Frank Valencia. MultiCPL2004, 3rd International Workshop on Multiparadigm Constraint, organized by Petra Hofstedt. TeachLP2004,1stInternationalWorkshoponTeachingLogicProgramming, organized by Dietmar Seipel.
Published by Springer Berlin Heidelberg, 2015
ISBN 10: 3662488981 ISBN 13: 9783662488980
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. The series of International Conferences on Logic for Programming,Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year,some of the most renowned researchers in the areas of logic, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world.
Published by Springer-Verlag GmbH, 2004
ISBN 10: 3540226710 ISBN 13: 9783540226710
Language: English
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Logic Programming | 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings | Vladimir Lifschitz (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer-Verlag GmbH | EAN 9783540226710 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3662488981 ISBN 13: 9783662488980
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 656 pages. 9.25x6.10x1.48 inches. In Stock.
Published by Springer-Verlag GmbH, 2011
ISBN 10: 3642225306 ISBN 13: 9783642225307
Language: English
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Published by Springer-Verlag GmbH, 2011
ISBN 10: 3642212948 ISBN 13: 9783642212949
Language: English
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011
ISBN 10: 3642225306 ISBN 13: 9783642225307
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011), the 22st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011).From the 10 papers submitted, 9 were accepted for presentation the proceeding. The papers cover current research in all areas of functional and logic programming as well as the integration of constraint logic and object-oriented programming, and term rewriting.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 196.51
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Paperback. Condition: Like New. Like New. book.
Condition: As New. Unread book in perfect condition.