Cover Image

Logic programming : proceedings of the 1997 International Symposium /

The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new res...

Full description

Bibliographic Details
Corporate Authors:	Association for Logic Programming, International Symposium on Logic Programming
Other Authors:	Małuszyński, J. (Jan), 1941-
Format:	Conference Proceeding eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1997.
Series:	Logic programming,
Subjects:	Logic programming > Congresses. COMPUTER SCIENCE/Programming Languages Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic programming : proceedings of the 1995 international symposium /
Published: (1995)

Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
Published: (1996)

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
Published: (1997)

Logic programming : proceedings of the 1999 International Conference on Logic Programming /
Published: (2000)

Logic programming : proceedings of the Tenth International Conference on Logic Programming /
Published: (1993)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

Logic programming languages : constraints, functions, and objects /
Published: (1993)

Programming language implementation and logic programming : proceedings /
Published: (1990)

Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings /
Published: (1993)

Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /
Published: (1992)

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /
Published: (1991)

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

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

Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings /
Published: (2002)

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

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings /
Published: (2001)

Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings /
Published: (2006)

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /
Published: (1999)

Logic, programming, and Prolog /
by: Nilsson, Ulf, 1961-
Published: (1990)

Logic programming : proceedings of the eleventh International Conference on Logic Programming /
Published: (1994)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

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

Logic programming and its applications /
Published: (1986)

Logic programming : operational semantics and proof theory /
by: Andrews, James H.
Published: (1992)

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

Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings /
Published: (2002)

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

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

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /
Published: (1999)

Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming /
Published: (1992)

Non-deterministic concurrent logic programming in Pandora /
by: Bahgat, Reem
Published: (1993)

Logic programming : proceedings of the 1991 international symposium /
Published: (1991)

Logic programming : proceedings of the 1995 international symposium /
Published: (1995)

Logic programming : proceedings of the 1993 international symposium /
Published: (1993)

Logic programming : proceedings of the 1994 international symposium /
Published: (1994)

Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming /
Published: (1998)

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

Fuji International Workshop on functional and logic programming : Susono, Japan, July 17-19, 1995 /
Published: (1995)

Logic programming : proceedings of the fifth international conference and symposium /
Published: (1988)

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