Normal view MARC view

LOPSTR (Symposium) (24th : 2014 : Canterbury, England) (Meeting Name)

Number of records used in: 1

Preferred form: LOPSTR (Symposium) (24th : 2014 : Canterbury, England)

Machine generated authority record.

Work cat.: (AT-ISTA): LOPSTR (Symposium) (24th : 2014 : Canterbury, England), Logic-based program synthesis and transformation :