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.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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.)
|
| Pubblicazione: | Springer Berlin Heidelberg |
| Disciplina: | 005.1/1 |
| Soggetto topico: | Logic programming - Congresses |
| Altri autori: |
FribourgLaurent
TuriniFranco
|
| Titolo abbreviato (Periodici): | LOGIC PROGRAM SYNTHESIS & TRANSFORMATION - META-PROGRAMMING IN LOGIC |
| Altri titoli varianti: | Logic Program Synthesis and Transformation — Meta-Programming in Logic |
| Titolo autorizzato: | Logic Program Synthesis and Transformation — Meta-Programming in Logic |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466162603316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |