Proceedings of the Eleventh International Conference on Logic Programming by International Conference on Logic Programming, (Santa Margherita Ligure), Hentenryck, Pascal van fromLogic programming 0 Type: Book
Logic programming: proceedings of the tenth international conference… by Warren, David S., International Conference on Logic Programming, Budapest) fromLogic programming series 0 Type: Book
Logic-based program synthesis and transformation: 26th International Symposium, LOPSTR 2016, Edinbu… by LOPSTR, Edinburgh fromLNCS sublibrary: SL1, Theoretical computer science and gene… 0 Type: Book
Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming by Maher, Michael, International Conference on Logic Programming, Bonn) fromLogic programming 0 Type: Book
Logic programming: proceedings of the Twelfth International Conferen… by Sterling, Leon, International Conference on Logic Programming, Tokyo) 0 Type: Book
Logic programming: proceedings of the Twelfth International Conferen… by Sterling, Leon S., Mathematiker 0 Type: Book
Logic programming: proceedings of the eighth international conference by Furukawa, Koichi, International Conference on Logic Programming, Paris fromLogic programming series 0 Type: Book
Constraint satisfaction in logic programming by Hentenryck, Pascal van fromLogic programming 0 Type: Book
Logic programming: proceedings of the Seventh International Conferen… by Warren, David H. D., Szeredi, Peter, International Conference on Logic Programming, Jerusalem fromLogic programming 0 Type: Book
Logic programming: proceedings of the Fifth International Conference… by Kowalski, Robert A., International Conference on Logic Programming, Seattle,), Symposium on Logic Programming, Seattle,) fromMIT Press series in logic programmming 0 Type: Book
Foundations of software technology and theoretical computer science: 12th conference, New Delhi, India, December 18-20… by Shyamasundar, R., Conference on Foundations of Software Technology and Theoretical Computer Science fromLecture Notes in Computer Science 0 Type: Book
Foundations of software technology and theoretical computer science: 12th conference, New Delhi, India, December 18-20… by Shyamasundar, Rudrapatna, Conference on Foundations of Software Technology and Theoretical Computer Science, New Delhi) fromLecture Notes in Computer Science 0 Type: Book
Applications of declarative programming and knowledge management: 18th international conference, revised selected p… by Abreu, Salvador, International Conference on Applications of Declarative Programming and Knowledge Management fromLecture Notes in Computer Science 0 Type: Book
Logic-based program synthesis and transformation: 20th international symposium : revised selected p… by Alpuente, María, International Workshop on Logic Program Synthesis and Transformation fromLecture Notes in Computer Science 0 Type: Book
Inductive logic programming: 20th international conference : revised papers by Frasconi, Paolo, International Workshop on Inductive Logic Programming fromLecture Notes in Computer Science 0 Type: Book
Declarative agent languages and technologies VIII: 8th international workshop : revised selected and… by Omicini, Andrea, International Workshop on Declarative Agent Languages and Technologies fromLecture Notes in Computer Science 0 Type: Book
Prolog programming for artificial intelligence by Bratko, Ivan fromInternational computer science series 0 Type: Book
Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion… by Beklemishev, Lev Dmitrievič, Mathematiker, Gurevič, Jurii Jakovlevič, Elektrochemiker fromLecture Notes in Computer Science 0 Type: Book