4 Results Found Subscribe to search results
0000MAIN
Print
1. 
Cover image for Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings
2. 
Cover image for Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
3. 
Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
4. 
Cover image for Machines, Computations, and Universality 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007: Proceedings