Info
Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / / Laurent Fribourg, Franco Turini, (eds.)
| Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / / Laurent Fribourg, Franco Turini, (eds.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1/1 |
| Altri autori (Persone) |
FribourgLaurent
TuriniFranco |
| Soggetto topico | Logic programming - Congresses |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Logic Program Synthesis and Transformation — Meta-Programming in Logic |
| Record Nr. | UNISA-996466162603316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada
| Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, c1986 |
| Descrizione fisica | ix, 311 p. : ill. ; 25 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | Wada, Eiiti, 1931- |
| Collana | Lecture notes in computer science ; 221 |
| Soggetto topico | Logic programming - Congresses |
| ISBN | 3540164790 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991004407329507536 |
| Berlin ; New York : Springer-Verlag, c1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
