Limit Search Results
Author
Language
Format
Material Type
Subject
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000MAIN
Print
1. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings
2. 
Cover image for Automated Deduction -- CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
3. 
Cover image for Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers