Utilizamos cookies propias y de terceros para mejorar la experiencia de nuestros visitantes y manejar las sesiones de usuario. Al pulsar 'Aceptar', usted confirma que ha leído y aceptado la información presentada en la Política de cookies.

aceptar

Filtrar por

Disponibilidad

Disponibilidad

Precio

Precio

Año de publicación

Año de publicación

Idioma

Idioma

Formato producto

Formato producto

Materia

Materia

Nivel bibliográfico

Nivel bibliográfico

Catálogo de venta

Catálogo de venta

Hay 31 publicaciones.

Mostrando 1-12 de 31 artículo(s)

Filtros activos

  • Año de publicación: 1992
  • Año de publicación: 2010
Programas para deducción...
Programas para deducción automatizada en lógica proposicional: El proyecto de controlar el razonamiento y reducirlo a una segura operación de cálculo cuenta ya con siglos; pero no cabe duda de que el desarrollo de los ordenadores le ha dado nuevos impulsos. En la actualidad el objetivo del razonamiento automatizado es escribir programas de ordenador que nos ayuden en la solución de problemas en los que se requiera razonar. Nuestro objetivo al escribir los programas que aquí se ofrecen para deducción automatizada de teoremas en...
Catálogo Colectivo de...
Catálogo Colectivo de Publicaciones Periódicas: Razones de índole organizativa habían dificultado la elaboración de instrumentos de información colectivos que permitieran un conocimiento más amplio de los fondos bibliográficos de la Universidad a pesar de ser plenamente conscientes de la utilidad de los mismos. Con el objetivo de difundir los contenidos documentales de nuestros centros se ha llevado a cabo la elaboración de este Catálogo Colectivo de Publicaciones Periódicas, elaborado bajo la dirección del...
Linajes Gaditanos en la...
Linajes Gaditanos en la Baja Edad Media: El estudio prosopográfico de los linajes cobra gran importancia al permitir adentrarse en la vida y en las relaciones de aquellos que formaron las oligarquías locales y, por tanto, dirigieron el destino de las ciudades en las que habitaron. Desde el estudio de sus dirigentes, desde la b i o g r a f í a particular de cada individuo, se puede avanzar en el estudio global del Cádiz bajo medieval. Así, desde el estudio genealógico y...
Microscopia electrónica 92
Microscopia electrónica 92: En los últimos años, ha tenido lugar un fuerte desarrollo de la Microscopía Electrónica en España a través de la adquisición de numerosos equipos y la creación de Sen/icios Centrales en las Universidades y Centros de Investigación; que han hecho posible una mayor presencia de nuestro país en las distintas actividades de la comunidad científica internacional. Dicha presencia debe ir avalada por la difusión de los conocimientos. En este sentido, éste volumen -que...
TROCADERO Nº 4

TROCADERO Nº 4  (1992)

DESCARGA GRATUITA
TROCADERO Nº 4: Se alcanza, en estas primeras páginas que ven la luz, una antigua aspiración de las Areas de Historia Moderna y Contemporánea de la Facultad de Filosofía y Letras de Cádiz: una revista en la que tuvieran cabida, con absoluta preferencia, trabajos e investigaciones referidos a estas materias. Nace, pues, esta Revista, con una decidida vocación de especialización en el Mundo Moderno y Contemporáneo, porque es durante este período, y concretamente en los siglos XVIII y...
Al-Andalus Magreb. Nº 17
Al-Andalus Magreb. Nº 17: La orientación de la revista presta una atención preferente a la lengua árabe y los temas de arabismo en al-Andalus y el Magreb, no solo del pasado sino también del presente. Asimismo, se abre a temas de otros puntos de la arabidad y los ampliamente norteafricanistas, aunque tengan relación tangencial con la lengua árabe, sin desdeñar temas de arabismo próximo-oriental.