Cover Image

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings /

Bibliographic Details
Corporate Authors:	RCLP (Conference) Irkutsk, R.S.F.S.R.), RCLP (Conference)
Other Authors:	Voronkov, Andrei, 1959-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1992]
Series:	Lecture notes in computer science. Lecture notes in artificial intelligence ; 592.
Subjects:	Logic programming > Congresses.

Similar Items

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

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

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

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

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

Logic programming : proceedings of the 1990 North American conference /
Published: (1990)

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

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 : proceedings of the fourth international conference /
Published: (1987)

Logic programming : proceedings of the seventh international conference /
Published: (1990)

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

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

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

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

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

Logic programming : proceedings of the North American conference, 1989 /
Published: (1989)

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

Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /
Published: (1992)

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /
Published: (1992)

Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /
Published: (1992)

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings /
Published: (1990)

Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings /
Published: (2004)

Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992: proceedings /
Published: (1992)

Meta-logics and logic programming /
Published: (1995)

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

From logic to logic programming /
by: Doets, Kees
Published: (1994)

Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 /
Published: (1989)

Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings /
Published: (2001)

Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
Published: (1993)

Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings /
Published: (1988)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
Published: (2007)

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)

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

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

Algebraic and logic programming : proceedings of an international workshop held in Gaussig (GDR), November 14-18, 1988 /
Published: (1988)