Location & Availability for: Logic-based program synthesis and transf

 Staff view

You must be logged in to Tag Records

Logic-based program synthesis and transformation [electronic resource] : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /

Danny De Schreye (ed.).

Book Cover
Names: De Schreye, Danny.
Published: Berlin ; Springer, c2010.
Series: Lecture notes in computer science ; 6037.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Topics: Logic programming - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Logic-based program synthesis and transf