Logic program synthesis and transformation proceedings [of the] 5th international workshop, lopstr'95, held in utrecht, the netherlands, september 20-22, 1995
International Workshop on Logic Program Synthesisand Transformation (5. 1995 Utrecht, Nl) Maurizio Proietti
Berlin Springer 1996
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1048 ) e outros locais(Acessar)