Normal view
MARC view
Computer Science(Topical Term)
Machine generated authority record
Work cat.: (OSt)1546872: Wos Larry & Pieper Gail W 964767, Fascinating Country in the World of Computing, a: Your Guide to Automated Reasoning