Most Popular Books
- Verification of Sequential and Concurrent Programs
- Principles of Constraint Programming
- Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, ... June 30 - July 2, 2003, Selected Papers
- Logics and Models of Concurrent Systems
- Constraint Logic Programming using Eclipse
![Logic Programming: The Joint [9th] International Conference & Symposium (Logic Programming) 0262510642 Book Cover](https://m.media-amazon.com/images/I/51niy+3G6SL._SL200_.jpg)
