Normal view
MARC view
Logic programming Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Logic Program Synthesis and Transformation (4th : 1994 : Pisa, Italy) 14818, Logic program synthesis and transformation-- Meta-programming in Logic :, ©1994.