Title: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings / Edition 1, Author: Andrei Voronkov
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / Edition 1, Author: Jacques Garrigue
Title: Logic And Declarative Language / Edition 1, Author: M. Downward
Title: Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Edition 1, Author: Rui Camacho
Title: Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings / Edition 1, Author: Vladimir Lifschitz
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / Edition 1, Author: Brahim Hnich
Title: Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings / Edition 1, Author: Georg Gottlob
Title: Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings / Edition 1, Author: Dino Pedreschi
Title: Field-Programmable Logic, Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings / Edition 1, Author: Reiner W. Hartenstein
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
Title: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / Edition 1, Author: Tamas Horváth
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / Edition 1, Author: Boi Faltings
Title: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / Edition 1, Author: Gerhard Brewka
Title: Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / Edition 1, Author: Stefan Kramer
Title: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Edition 1, Author: Annalisa Bossi
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
Title: Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings / Edition 1, Author: Laurent Fribourg
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / Edition 1, Author: Andy King

Pagination Links