Books

Written Books

• Reinhard Kahle, The applicative realm, Vol. 40 of Textos de Matemática, Departamento de Matemática, Universidade de Coimbra, November 2007.

Book editions

• Luís Moniz Pereira and Gregory Wheeler (eds), Special issue from the Fourth Intl. Workshop on Computational Models of Scientific Reasoning and Applications of Journal of Applied Logic, Elsevier, Nederlands, (url), October 2007.
• Pre-Proceedings of the 1st Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS'007, in: Mehdi Dastani, Amal El Fallah-Seghrouchni, João Alexandre Leite and Paolo Torroni (eds), , Pag. pp. 183, September 2007.
• Salvador Abreu and Vitor Santos Costa (eds), Proceedings of the 7th International Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS 2007, Univ. Porto, (url), September 2007.
• Francisco Azevedo, Pedro Barahona, Francois Fages and Francesca Rossi (eds), Recent Advances in Constraints, Vol. 4651 of LNAI, Springer, May 2007.
• Arnold Beckmann, Ulrich Berger, Birgit Elbl, Reinhard Kahle, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger and Anton Setzer (eds), PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007 of Computer Science Report Series, CSR 3-2007, University of Wales Swansea, (url), April 2007.
• William Harper and Gregory Wheeler (eds), Probability and Inference: Essays In Honor of Henry E. Kyburg, Jr., King's College Publications, London, 2007.