Mathematical Logic and Formal Languages
Science (general) , Scientific-popularTeaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. 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
Mathematics , LogicTheorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Free Download
Computers , Organization and Data ProcessingTheoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
Free Download- Mathematics , Computational Mathematics
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation
Free Download - Computers
Transactions on Rough Sets I: James F. Peters – Andrzej Skowron, Editors-in-Chief
Free Download 
Mathematics , AlgebraTrees in Algebra and Programming — CAAP ’96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
Free Download
