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.)

• Record Nr.: UNISA996466162603316
• Pubbl/distr/stampa: Springer Berlin Heidelberg
• Altri autori (Persone): FribourgLaurent; TuriniFranco
• Disciplina: 005.1/1
• Soggetti: Logic programming - Congresses
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia