Normal view
MARC view
- LOGIC FOR COMPUTER SCIENCE
LOGIC FOR COMPUTER SCIENCE (Topical Term)
Machine generated authority record.
Work cat.: (NUST): Singh, Arindama 56213, Logics for computer science, 2003