LOPSTR 1998: Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Shelfclass_id 4.A
Sortkey LOPSTR
Authors Editor: Pierre Flener
Title LOPSTR 1998: Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
Publisher Springer
Year 1999
Languages eng
Isbn 3540657657, 9783540657651
Series Lecture Notes in Computer Science
Volume 1559
Issn 0302-9743
Description x, 330 p. 24 cm
Record date 20110126
Location New York
Keywords Logic programming
Urlnote Publisher description
Urls http://www.loc.gov/catdir/enhancements/fy0816/99014668-d.html