Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
Informática teórica
An Entity of Type :
Concept
, from Named Graph :
http://es.dbpedia.org
, within Data Space :
es.dbpedia.org
Property
Value
dbo:
wikiPageID
375078
(xsd:integer)
dbo:
wikiPageRevisionID
68754017
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Informática teórica
(es)
Informática teórica
(es)
skos:
broader
category-es
:Ciencias_computacionales
category-es
:Informática
category-es
:Teorías_matemáticas
skos:
prefLabel
Informática teórica
(es)
Informática teórica
(es)
prov:
wasDerivedFrom
wikipedia-es
:Categoría:Informática_teórica?oldid=68754017&ns=14
is
dct:
subject
of
dbpedia-es
:Aprendizaje_automático_en_física
dbpedia-es
:Procedimiento_efectivo
dbpedia-es
:Recursión_(ciencias_de_computación)
dbpedia-es
:Problema_de_los_dos_generales
dbpedia-es
:Programas_como_objetos_matemáticos
dbpedia-es
:Ciencia_computacional_teórica
dbpedia-es
:Hipercomputación
dbpedia-es
:Efecto_secundario_(informática)
dbpedia-es
:Acceso_aleatorio
dbpedia-es
:Máquina_de_Turing
dbpedia-es
:Aprendizaje_automático_cuántico
dbpedia-es
:Lógica_computacional
dbpedia-es
:Teoría_de_la_computación
dbpedia-es
:Problema_de_la_bicicleta_de_Turing
dbpedia-es
:Límite_de_Bremermann
dbpedia-es
:Correctitud
dbpedia-es
:European_Association_for_Theoretical_Computer_Science
dbpedia-es
:Precondición_libre_más_débil
dbpedia-es
:Máquina_oráculo
dbpedia-es
:Problema_de_los_generales_bizantinos
dbpedia-es
:Teoría_de_los_problemas
dbpedia-es
:Ciencias_de_la_computación
dbpedia-es
:Número_computable
dbpedia-es
:Lema_de_Arden
dbpedia-es
:Lenguaje_recursivo
dbpedia-es
:Máquina_de_von_Neumann
dbpedia-es
:Ordenador_químico
dbpedia-es
:Complejidad_de_Kolmogórov
dbpedia-es
:Problema_computacional
dbpedia-es
:Institut_National_de_Recherche_en_Informatique_et_en_Automatique
dbpedia-es
:Ancestro_común_más_bajo
dbpedia-es
:Acceso_secuencial
dbpedia-es
:Digital_Bibliography_&_Library_Project
dbpedia-es
:Número_pseudoaleatorio
dbpedia-es
:Enumeración
dbpedia-es
:Verificación_formal
dbpedia-es
:Análisis_de_sistemas
dbpedia-es
:Modelo_de_computación
dbpedia-es
:Teorema_de_Rice
dbpedia-es
:Historia_de_las_ciencias_de_la_computación
dbpedia-es
:Sociedad_Chilena_de_Ciencia_de_la_Computación
dbpedia-es
:Análisis_de_amortización
dbpedia-es
:Acceso_directo
dbpedia-es
:Teorema_de_Margolus–Levitin
dbpedia-es
:Computación_ubicua
dbpedia-es
:Una_teoría_matemática_de_la_comunicación
dbpedia-es
:Kineo_CAM
dbpedia-es
:Planificación_de_movimiento
dbpedia-es
:Problema_indecidible
dbpedia-es
:Lógica_de_Hoare
dbpedia-es
:Anti-unificación_(ciencias_de_la_computación)
is
skos:
broader
of
category-es
:Informática_cuántica
category-es
:Inteligencia_artificial
category-es
:Premios_de_ciencias_de_la_computación
category-es
:Teoría_de_la_información
category-es
:Teoría_de_tipos
category-es
:Computabilidad
category-es
:Pseudoaleatoriedad
category-es
:Teoría_de_lenguajes_de_programación
category-es
:Aritmética_computacional
category-es
:Criptografía
category-es
:Métodos_formales
category-es
:Computación_ubicua
category-es
:Informáticos_teóricos
category-es
:Literatura_de_ciencias_de_la_computación
category-es
:Association_for_Computing_Machinery
category-es
:Problemas_no_resueltos_de_las_ciencias_de_la_computación
category-es
:Modelos_computacionales