Cover Image

The journal of logic and algebraic programming

Corporate Author:	Syracuse University. Logic Programming Research Center
Format:	Book
Language:	English
Published:	New York, NY: Elsevier Science Pub. Co., c2003-
Subjects:	Logic programming > Periodicals Computer programming > Periodicals
Online Access:	http://www.sciencedirect.com/science/journal/07431066 http://www.elsevier.com:80/inca/publications/store/5/0/5/7/3/1/

Similar Items

The journal of logic programming
Published: (1984)

Journal of logic and computation
Published: (1990)

Journal of philosophical logic
Published: (1972)

Algebraic framework for the abstract interpretation of logic program/
by: Kemp, R.
Published: (1991)

The journal of logic and algebraic programming.
Published: (2001)

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

From logic to logic programming/
by: Doets, Kees

Foundations of inductive logic programming
by: Nienhuys-Cheng, Shan-Hwei
Published: (1997)

The journal of logic programming.
Published: (1984)

From logic programming to Prolog
by: Apt, Krzysztof R., 1949-
Published: (1997)

Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /
Published: (1997)

Principles of logic and logic programming/
by: Metakides, G.
Published: (1996)

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

Logic programming and soft computing/
Published: (1998)

Foundations of disjunctive logic programming/
by: Lobo, Jorge
Published: (1992)

Meta-programming in logic programming /
Published: (1989)

Logic programming : functions, relations and equations /
by: DeGroot, Doug
Published: (1986)

Computing with logic :logic programming with Prolog /
by: Maier, David 1953-
Published: (1988)

Logic programming : proceedings of the sixth international conference on logic programming /
Published: (1989)

Parallel logic programming /
by: Takeuchi, Akikazu, 1953-
Published: (1992)

Parallel logic programming /
by: Tick, Evan, 1959-
Published: (1991)

Theory and practice of logic programming.
Published: (2001)

Foundations of logic programming /
by: Lloyd, J. W. 1947-
Published: (1987)

Logic programming and prolog /
by: Nilsson, Ulf
Published: (1995)

Parallel logic programming [Takeuchi]/
by: Takeuchi, Akikazu
Published: (1992)

Logic programming with Prolog/
by: Bramer, Max
Published: (2005)

Parallel logic programming/
by: Tick, Evan, 1959-
Published: (1991)

Parallel logic programming /
by: Tick, Evan
Published: (1991)

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Principles of logic and logic programming/
by: Μετακίδης, Γιώργος, 1945-
Published: (1996)

C/C++ users journal
Published: (1994)

Computational logic : logic programming and beyond /
Published: (2002)

Constraint logic programming : selected research /
Published: (1993)

Parallel and constraint logic programming : an introduction to logic, parallelism and constraints /
by: Vlahavas, Ioannis.
Published: (1998)

Foundations of inductive logic programming /
Published: (1997)

Logic programming : formal methods and practical applications /
Published: (1995)

ACM transactions on programming languages and systems

Parallel logic programming in PARLOG: the language and its implementation/
by: Gregory, Steve
Published: (1987)

The Journal of Symbolic Logic
Published: (1936)

Journal of Mathematical Logic
Published: (2001)

Cannot write session to /tmp/vufind_sessions/sess_54khovb71s2ht40h0lsqgcpva6