>> Mathematical Logic and Formal Languages
Science (general) , Scientific-popularLogic Program Synthesis and Transformation: 5th International Workshop, LOPSTR’95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
Free Download- Mathematics , Computational Mathematics
Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Free Download 
- Computers , Programming
Probabilistic Inductive Logic Programming: Theory and Applications
Free Download 
Computers , ProgrammingProgramming Languages and Systems — ESOP ’96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
Free Download
- Computers , Cybernetics: Artificial Intelligence
State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. 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
