Normal view
MARC view
Proietti, Maurizio, 1959- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Logic Program Synthesis and Transformation (5th : 1996 : Utrecht, Netherlands) 34104, Logic program synthesis and transformation :, 1996.