Logic program synthesis and transformation - meta programming in logic : 4th International workshops : Pisa, Italy, June 20-21, 1994 : Proceedings / Laurent Fribourg, Franco Turini (eds.)

• Record Nr.: UNISA990000210760203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1994
• ISBN: 3-540-58792-6
• Descrizione fisica: IX, 450 p. : ill. ; 24 cm.
• Collana: Lecture notes in computer science ; 883
• Disciplina: 0051
• Collocazione: 001 LNCS (883)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia