Páginas com hiperligações para "Martin Davis"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Martin Davis:
Mostrando 10 itens.
- Máquina de Turing (← afluentes)
- Entscheidungsproblem (← afluentes)
- Axiomas de Peano (← afluentes)
- Problema da parada (← afluentes)
- Algoritmo de Davis-Putnam (← afluentes)
- Décimo problema de Hilbert (← afluentes)
- Algoritmo super-recursivo (← afluentes)
- Ciência da computação teórica (← afluentes)
- Máquina de registradores (← afluentes)
- Conjunto diofantino (← afluentes)