DEMOSTRACIONES FORMALES (Término Tópico)

Machine generated authority record.

Work cat.: (UNL)1294: Hopcroft, John E. Autor 4084, Introducción a la teoría de autómatas lenguajes y computación., 2007