The journal of logic and algebraic programming.

Journal of automated reasoning.

Handbook of logic in artificial intelligence and logic programming.
Published: (2020)

ACM transactions on computational logic.
Published: (2000)

LISP and symbolic computation.

Journal of algorithms.

Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

International journal of parallel programming.
Published: (1986)

International journal of parallel programming.
Published: (1986)

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Fuzzy-logic-based programming /
by: Chang, Chin-Liang, 1937-
Published: (1997)

History and philosophy of logic.

Journal of philosophical logic.

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal
Published: (2011)

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published: (1994)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

The Logic programming paradigm : a 25-year perspective /
Published: (1999)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
Published: (1981)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Published: (1995)

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
Published: (2004)

Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /
Published: (2005)

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

Programmable logic controllers /
by: Bolton, W. (William), 1933-
Published: (2006)

Journal of heuristics.

Algebra and logic.

Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings /
Published: (1999)

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Published: (1996)

ACM transactions on computation theory.

Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)

Foundations of deductive databases and logic programming /
Published: (1988)

Reasoning with logic programming /
by: Alferes, José Júlio
Published: (1996)