Introducción a los Enumeradores de Grafos y Combinadores
1993·no ficcion
Un texto introductorio que aborda la enumeración de grafos y las técnicas combinatorias, con un enfoque en la teoría de funciones recursivas y la complejidad.
ruso
Y. V. Matiyasevich es un matemático ruso conocido por su trabajo en teoría de la computabilidad y por ser uno de los autores del teorema de Matiyasevich, que establece la indecidibilidad en la aritmética de algunas proposiciones. Su investigación ha tenido un impacto significativo en la lógica matemática y la teoría de números.
1993·no ficcion
Un texto introductorio que aborda la enumeración de grafos y las técnicas combinatorias, con un enfoque en la teoría de funciones recursivas y la complejidad.
Aparecen junto a Y. V. Matiyasevich en búsquedas del archivo