Normal view
MARC view
LOPSTR (Symposium) (16th : 2006 : Venice, Italy) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): LOPSTR (Symposium) (16th : 2006 : Venice, Italy), Logic-based program synthesis and transformation :, ©2007.