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

Editorial UCA

Tienda

Catálogo de venta

Hay 54 publicaciones.

Mostrando 37-54 de 54 artículo(s)

Filtros activos

  • Año de publicación: 1990
  • Año de publicación: 1992
  • Formato producto: Descarga digital
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...

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...

Excerpta Philologica II

Excerpta Philologica II: El v. 18 ha levantado sospechas desde hace mucho tiempo entre los filólogos y no es inoportuno volver sobre él de nuevo. En mi edición (Madrid, CSIC, 1981)' mantuve el texto transmitido, lo que motivó algunas críticas severas, sobre todo por parte del siguiente editor, M. L. West. En la polémica intervinieron también otros especialistas y, como el asunto es complejo, procede hacer una somera historia de la cuestión,...