Normal view
MARC view
COMPUTERS / Programming Languages / General (Topical Term)
Machine generated authority record.
Work cat.: ()1122954: Miller, Dale 1106683, Programming with higher-order logic /, c2012
