5 Results Found Subscribe to search results
00000MAIN
Print
1. 
Cover image for Direct methods in the calculus of variations
2. 
Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
3. 
Cover image for The Calculus of Computation  Decision Procedures with Applications to Verification
4. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings
5. 
Cover image for Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings