Normal view
MARC view
Proofs (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Hopcroft, John E. 2395, Introduction to Automata Theory, Languages, and Computation,, 2013