Cover Image

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 :selected papers /

Corporate Author:	International Workshop on Logic Based Program Synthesis and Transformation London, England)
Other Authors:	Lau, Kung-Kiu,
Format:	Book
Language:	English
Published:	Berlin : Springer, 2001.
Subjects:	Logic programming > Congresses

Similar Items

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
Published: (2005)

Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Published: (2004)

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

Logic program synthesis and transformation : proceedings of LOPSTR93, International Workshop on Logic Program Synthesis andTransformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
Published: (1994)

Logic based program synhesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 :selected papers /
Published: (2002)

Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy,June 20-20, 1994 : proceedings /
Published: (1994)

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

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

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

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

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

Foundations of inductive logic programming /
Published: (1997)

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

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

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

Advances in logic programming theory /
Published: (1996)

Logic programming and soft computing /
Published: (1998)

Types in logic programming /
Published: (1992)

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

The logic programming tutor/
by: Paine, Jocelyn
Published: (1992)

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

Types in logic programming/
Published: (1992)

Constraint satisfaction in logic programming/
by: Van Hentenryck, Pascal
Published: (1989)

Inductive logic programming: techniques and applications/
by: Lavrac, Nada
Published: (1994)

Logic programming : proceedings of the 1993 International Symposium ; Dale Miller
Published: (1993)

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

Logic programming: proceedings of the 1996 joint international conference and symposium on logic programming/
Published: (1996)

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

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

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

A grammatical view of logic programming/
by: Deransar, Pierre
Published: (1993)

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

Foundations of inductive logic programming /
by: Nienhuys-Cheng, S. -H. 1943-
Published: (1997)

Logic programming : proceedings of the 1995 International Symposium /
Published: (1995)

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

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

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

Logic programming: proceedings of the 1997 International Symposium/
Published: (1997)

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

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

Cannot write session to /tmp/vufind_sessions/sess_36s41e53qncdvs6rpa5lppr8k4