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 : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers /

Patricia M. Hill (ed.).

Book Cover
Names: Hill, Patricia,
Published: Berlin ; Springer, ©2006.
Series: Lecture notes in computer science ; 3901.
Topics: Logic programming - Congresses. | Programmation logique - Congrès. | Computational logic. | Logische Programmierung. | Programmsynthese. | Programmtransformation.
Regions: London <2005>
Genres: Conference papers and proceedings. | Kongress.
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