Cover Image

Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /

Show other versions (1)

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. The 12 revised full papers presented were carefully selected during two rounds of reviewing and...

Full description

Bibliographic Details
Corporate Authors: LOPSTR (Symposium) Uppsala, Sweden), SpringerLink (Online service)
Other Authors: Bruynooghe, M. (Maurice)
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2004.
Series:Lecture notes in computer science ; 3018.
Subjects:
Logic programming > Congresses.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Logic programming.
Electronic books.
Conference papers and proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.63 .L69 2003eb
 
Call Number Status Get It
QA76.63 .L69 2003eb Available