Normal view
MARC view
- Computer science
Computer science (Topical Term)
Machine generated authority record.
Work cat.: (OSt)8609: Nerode, Anil, 1932- 17655, Logic for applications /, c1997.