Logic programming: proceedings by Hermenegildo, Manuel, Debray, Saumya, North Amercian conference on logic programming., 1990 ; Austin, Texas fromLogic programming series. Research reports and notes 0 Type: Book
The logic of typed feature structures: with applications to unification grammars, logic … by Carpenter, Bob fromCambridge tracts in theoretical computer science 0 Type: Book
Programming language implementation and logic programming: 6th International Symposium, PLILP '94, Madrid, S… by Penjam, Jaan, Hermenegildo, Manuel, International Symposium, PLILP '94 fromLecture Notes in Computer Science 0 Type: Book
Constraint logic programming: selected research by Colmerauer, Alain, Benhamou, Frédéric fromLogic programming 0 Type: Book
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems: First international conference, CPAIOR 2004, Nice… by International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, Nice, France) fromLecture Notes in Computer Science 0 Type: Book