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

Bibliographic Details
Corporate Authors:	ELP '96 Leipzig, Germany, SpringerLink (Online service)
Other Authors:	Dyckhoff, Roy, 1948-, Herre, Heinrich, Schroeder-Heister, Peter Joseph, 1953-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1050. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. déduction. sémantique déclarative. contrainte. négation. programmation en logique. Logic programming. Logisch programmeren. Wiskundige logica. Programmation logique > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online