Title: Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Edition 1, Author: Mogens Nielsen
Title: Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / Edition 1, Author: Hubert Comon
Title: Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings / Edition 1, Author: Evelina Lamma
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1, Author: Germán Puebla
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: Principles and Structures of FPGAs, Author: Hideharu Amano