Filtrar por: Materia
Mostrando items 1-10
Church, Alonzo, 1903-1995 (1) |
Church–Turing thesis (1) |
Cálculo efectivo (1) |
Cálculo efetivo (1) |
Effective calculability (1) |
Entscheidungsproblem (1) |
Hilbert, David, 1862-1943 (1) |
Tese de Church-Turing (1) |
Tesis de Church-Turing (1) |
Turing, Alan, 1912-1954 (1) |