1
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
2
Decision Procedures [E-Book] : An Algorithmic Point of View /
3
Computable Models [E-Book] /
4
Rainbow of Computer Science [E-Book] : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /
5
A 25-Year Perspective on Logic Programming [E-Book] : Achievements of the Italian Association for Logic Programming, GULP /