Mathematical Logic and Formal Languages
Showing 141–160 of 277 results
Filter- Computers , Programming
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
Free Download - Education , International Conferences and Symposiums
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Free Download - Education , International Conferences and Symposiums
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Free Download - Computers , Programming
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
Free Download - Computers , Programming
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
Free Download - Mathematics , Computational Mathematics
Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers
Free Download - Mathematics , Computational Mathematics
Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
Free Download - Mathematics , Computational Mathematics
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Free Download - Computers , Cybernetics: Artificial Intelligence
Machine Learning and Its Applications: Advanced Lectures
Free Download - Mathematics , Computational Mathematics
Machines, Computations, and Universality: 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Free Download - Mathematics , Computational Mathematics
Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings
Free Download - Mathematics , Computational Mathematics
Machines, Computations, and Universality: Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings
Free Download