automatizado
11Clasificación Global — es el proceso de clasificar productos para el cumplimiento de las regulaciones impuestas por las autoridades aduanales, aplicar para los tratados de libre comercio y transmitir la documentación ante la aduana durate la importación o exportación… …
12Larry Wos — es un científico y matemático de la división de informática en el Laboratorio Nacional Argonne; ingresó a dicho laboratorio en febrero de 1957. Escribió más de 70 artículos sobre la automatización del razonamiento, ha dado cientos de conferencias …
13Wire-wrap — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al autor pri …
14Julio Verne (nave) — Jules Verne (ATV 001) La ATV Julio Verne se aproxima a la Estación Espacial Internacional Organización ESA Tipo de misión Reabastecimiento de …
15Algoritmo genético — Un algoritmo es una serie de pasos organizados que describe el proceso que se debe seguir, para dar solución a un problema específico. En los años 1970, de la mano de John Henry Holland, surgió una de las líneas más prometedoras de la… …
16Caja de cambios — Saltar a navegación, búsqueda Caja de cambios de motocicleta. En los vehículos, la caja de cambios o caja de velocidades (suele ser llamada sólo caja) es el elemento encargado de acoplar el motor y el sistema de transmisión con diferentes… …
17Ciencias de la computación — Las ciencias de la computación son aquellas que abarcan el de las bases teóricas de la información y la computación, así como su aplicación en sistemas computacionales.[1] [2] [3] Existen diversos campos o disciplinas dentro de las Ciencias de la …
18Circuito impreso — El texto que sigue es una traducción defectuosa o incompleta. Si quieres colaborar con Wikipedia, busca el artículo original y mejora o finaliza esta traducción. Puedes dar aviso al autor principal del artículo pegando el siguiente código en su… …
19Sub-Zero — Personaje de Mortal Kombat Primera aparición Mortal Kombat 1 Última aparición Mortal Kombat 9 Creador(es) brian reta y [[matias juares …
20Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …