LIBROS DEL AUTOR: howard straubing

1 resultados para LIBROS DEL AUTOR: howard straubing

howard straubing Eliminar filtro Quitar filtros
  • Finite Automata, Formal Logic, and Circuit Complexity
    Howard Straubing
    The study of the connections between mathematical automata and for­ mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first­ order predicate logic, and thereby concluded that there is no algor...
    Disponible

    134,16 €