Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 5f40ae18-cfcc-40a7-8bb3-2b0334a92e90 |
| isbn | 3540326545 9783540326540 |
| issn | |
| language | eng |
| physical | x, 178 p. :ill. ;24 cm. |
| publication | – publisher: Springer dateOfPublication: c2006 |
| publishDate | c2006 |
| subjects | |
| title | Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers / Patricia M. Hill (ed.). [electronic resource] : |
| topic | Logic programming Programmation logique Congresses. |