Normal view
MARC view
Proving problems hard (Topical Term)
Machine generated authority record
Work cat.: (OSt)191175: Moret, Bernard M. 258928, Theory of computation /, 2011.
