Normal view
MARC view
Logic programming (Topical Term)
Machine generated authority record.
Work cat.: (): Kurup, Pran 37277, Logic synthesis using synopsis/, c1995
