Track this book
You choose which shelves are public. Progress and read dates stay yours.
About
Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings Author: Philippe Codognet Published by Springer Berlin Heidelberg ISBN: 978-3-540-42935-7 DOI: 10.1007/3-540-45635-X Table of Contents: 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…
More like this
Reviews
Rating integrity
HealthyCounted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.
Editions
2 editions- Paperback · German · 2001Springer · 365 pages · 9783540429357
- Other · German · 2003Springer London, Limited · 9783540456353
Programmation sous contrainteProgrammation logiqueLogique line aireKongressLogique mathe matiqueLogic programmingSe mantique programmeCongresses