Cover Image

Program development in computational logic : a decade of research advances in logic-based program development /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bruynooghe, M. (Maurice), Lau, K.-K. (Kung-Kiu), 1953-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 3049. Lecture notes in computer science. State-of-the-art survey.
Subjects:	Logic programming. Computer logic. Logique informatique. Programmation logique. Logique computationnelle. Computational logic. Logische Programmierung. Programmsynthese. Programmtransformation. Softwareentwicklung. Electronic books. Aufsatzsammlung.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3049

Similar Items

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

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)

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

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
Published: (2001)

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

Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
Published: (1995)

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

Termination proofs for logic programs /
by: Plümer, Lutz
Published: (1990)

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

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
Published: (1994)

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

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

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

Isabelle/HOL : a proof assistant for higher-order logic /
by: Nipkow, Tobias, 1958-
Published: (2002)

Logical positivism.
Published: (1959)

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

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

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

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
Published: (1999)

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
Published: (2004)

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

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

Formal logic.
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1962)

First-order dynamic logic /
by: Harel, David, 1950-
Published: (1979)

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers /
Published: (2004)

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

The journal of logic programming.
Published: (1984)

Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
Published: (1968)

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

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /
Published: (1988)

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

The logic system of concept graphs with negation : and its relationship to predicate logic /
by: Dau, Frithjof
Published: (2003)

Learning language in logic /
Published: (2000)

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

Practical programmable circuits : a guide to PLDs, state machines, and microcontrollers /
by: Broesch, James D.
Published: (1991)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)

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

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
Published: (1983)