Normal view
MARC view
- King, Andy
King, Andy (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Hutchison, David. 81687, Logic-Based Program Synthesis and Transformation, 2008.