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

Remote Storage