Search
Now showing items 1-3 of 3
Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
(2000)
Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan ...
Algunas demostraciones de incomputabilidad usando la técnica de diagonalización
(2000)
Los supuestos fundamentales de la Teoría de la Computabilidad se establecieron antes de la aparición de los primeros ordenadores (a finales de los años 40), supuestos que muchos años de vertiginoso cambio no han conseguido ...
[A_Labraza_Muralla] Documentación geométrica y restitución fotogramétrica de las fases 1 a 5 de la muralla exterior de Labraza. Álava
(2000-12)
[ES] Se han documentado unos 140 metros de muralla que corresponde a los alzados suroeste y sur y que incluye la puerta de acceso principal del casco urbano.