Logic-based program synthesis and transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised selected papers /

Bibliographic Details
Corporate Author:	LOPSTR 2010 Hagenberg im Mühlkreis, Austria
Other Authors:	Alpuente, María
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; Heidelberg ; New York : Springer, [2011]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6564.
Subjects:	Logic programming > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online