Normal view
MARC view
Computer Programming (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Knuth, Donald E. 832, Art of Computer Programming, Vol. 4, Fascicle 6: Satisfiability, 2015