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

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (viii, 538 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3540221522 9783540221524
ISSN:	0302-9743 ;