Recomienda este artículo a tus amigos:
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 - Workshops in Computing Timothy P Clement
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 - Workshops in Computing
Timothy P Clement
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program.
337 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 25 de febrero de 1992 |
| ISBN13 | 9783540197423 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 337 |
| Dimensiones | 138 × 216 × 18 mm · 553 g |
| Lengua | Alemán |
| Editor | Clement, Timothy P. |
| Editor | Lau, Kung-Kiu |