Tell your friends about this item:
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science
Maurizio Proietti
Price
$ 110.49
Expected delivery Apr 21 - May 3
Our customers say:
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science
Maurizio Proietti
These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.
274 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | Tyskland, March 6, 1996 |
| ISBN13 | 9783540609391 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 274 |
| Dimensions | 156 × 234 × 15 mm · 399 g |
| Editor | Proietti, Maurizio |
![Cover for Maurizio Proietti · Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/219/9783319178219.jpg?maurizio-proietti-2015-logic-based-program-synthesis-and-transformation-24th-international-symposium-lopstr-2014-canterbury-uk-september-9-11-2014-revised-selected-papers-theoretical-computer-science-and-general-issues-paperback-book&class=scaled)