Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings


LOPSTR '94
Bok Engelsk 1994

Detaljer

Bibliotek som har denne