Logics and Meanings of Programs
Mathematics , Computational MathematicsRewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Free Download- Education , International Conferences and Symposiums
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings
Free Download 
- Education , International Conferences and Symposiums
TAPSOFT ’87: Proceedings of the International’ Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
Free Download 
Computers , ProgrammingTAPSOFT ’95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
Free Download
Computers , ProgrammingTAPSOFT’93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
Free Download
- Mathematics , Logic
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Free Download - Mathematics , Logic
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Free Download 
Mathematics , LogicTheorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Free Download
