Logic Programming | 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings

Philippe Codognet

ISBN 10: 3540429352 ISBN 13: 9783540429357

Published by Springer, 2001

New Taschenbuch

From preigu, Osnabr�ck, Germany Seller rating 5 out of 5 stars

AbeBooks Seller since August 5, 2024

This specific item is no longer available.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

Report this item

Synopsis:

to thank all the authors of the submitted papers, the Program Committeemembers,andtherefereesfortheirtimeande?ortsspentinthe- viewingprocess,theconferencechairTonyKakasandhisteamattheUniversity ofCyprusfortheexcellentorganizationoftheconference,andTobyWalsh,the CP2001 program chair, for his constant cooperation and interaction. Last but notleast,specialthankstoYoannFabreattheUniversityofParis6fortaking careofinstallingandmaintainingthepaperreviewsystem.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Logic Programming | 17th International ...
Publisher: Springer
Publication Date: 2001
Binding: Taschenbuch
Condition: Neu

Top Search Results from the AbeBooks Marketplace

Stock Image

Logic Programming. 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings.

Codognet, Philippe (Ed.)

Published by Berlin, Springer., 2001

ISBN 10: 3540429352 ISBN 13: 9783540429357

Used Softcover

Seller: Universit�tsbuchhandlung Herta Hold GmbH, Berlin, Germany

Seller rating 4 out of 5 stars

XI, 364 p. Softcover. 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, Vol. 2237. Sprache: Englisch. Seller Inventory # 719EB

Contact seller

Buy Used

US$ 10.87

US$ 35.17 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001 Proceedings

Codognet, Philippe

Published by Springer Verlag, New York, 2002

ISBN 10: 3540429352 ISBN 13: 9783540429357

Used Hardcover

Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.

Seller rating 5 out of 5 stars

Hardcover. Condition: 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 ;2237. [xi, 364 p. ; 24 cm]. Seller Inventory # 011795

Contact seller

Buy Used

US$ 26.24

US$ 5.50 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Logic Programming

Codognet, Philippe

Published by Springer Berlin Heidelberg, 2001

ISBN 10: 3540429352 ISBN 13: 9783540429357

New Softcover

Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes supplementary material: sn.pub/extrasInvited Speakers.- Solving the Multiplication Constraint in Several Approximation Spaces.- Is Logic Really Dead or Only Just Sleeping?.- Design of Syntactic Program Transformations by Abstract Interpr. Seller Inventory # 4890149

Contact seller

Buy New

US$ 58.40

US$ 57.43 shipping
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Logic Programming

Philippe Codognet

Published by Springer, Springer Nov 2001, 2001

ISBN 10: 3540429352 ISBN 13: 9783540429357

New Taschenbuch

Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Speakers.- Solving the Multiplication Constraint in Several Approximation Spaces.- Is Logic Really Dead or Only Just Sleeping .- Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.- X-tegration - Some Cross-Enterprise Thoughts.- Tutorials.- Building Real-Life Applications with Prolog.- Natural Language Tabular Parsing.- A Close Look at Constraint-Based Concurrency.- Probabilistic Databases and Logic Programming.- Conference Papers.- Understanding Memory Management in Prolog Systems.- PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.- On a Tabling Engine That Can Exploit Or-Parallelism.- Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family.- Optimizing Compilation of Constraint Handling Rules.- Building Constraint Solvers with HAL.- Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.- Positive Boolean Functions as Multiheaded Clauses.- Higher-Precision Groundness Analysis.- Speculative Beats Conservative Justification.- Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.- A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.- Fixed-Parameter Complexity of Semantics for Logic Programs.- Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.- Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.- Fages' Theorem for Programs with Nested Expressions.- Semantics of Normal Logic Programs with Embedded Implications.- A Multi-adjoint Logic Approach to Abductive Reasoning.- Proving Correctness and Completeness of Normal Programs - A Declarative Approach.- An Order-Sorted Resolution with ImplicitlyNegative Sorts.- Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.- A Computational Model for Functional Logic Deductive Databases.- A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch. Seller Inventory # 9783540429357

Contact seller