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

Bibliographic Details
Corporate Authors:	International Conference on Logic Programming Paphos, Cyprus, SpringerLink (Online service)
Other Authors:	Codognet, Philippe
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2237.
Subjects:	Logic programming > Congresses. logique linéaire. logique mathématique. sémantique programme. programmation sous contrainte. vérification formelle. logique informatique. programmation en logique. Programmation logique > Congrès. Logic programming. Logisch programmeren. Kongress. Logische Programmierung. Electronic books. Kongress > Paphos (Kouklia) > 2001. Conference proceedings. Paphos (Kouklia, 2001)
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xi, 364 pages)
Bibliography:	Includes bibliographical references and index.
ISBN:	3540429352 9783540429357
ISSN:	0302-9743 ;