OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 30 Subject: history of mathematics Language: Español Year: 2012

Sort by Score Title Year -

1-2 from 2 results (0.01 seconds)

Title: Verificación formal en ACL2 del algoritmo de Buchberger / Formal verification of Buchberger's algorithm in ACL2
Author: Medina Bulo, Inmaculada
Language: Español
Repository: 30
Subject: computer science / mathematics / ciencia de la computación / matemáticas / artificial intelligence / inteligencia artificial

AccederAcceder
Title: Patriotismo por comparación: estereotipos sobre España en las Characteristical Views de John Andrews (1808) / Patriotism by comparison: stereotypes about Spain in John Andrew’s Characteristical Views (1808)
Author: Calvo Maturana, Antonio
Language: Español
Repository: 30
Subject: John Andrews / Imagen de España / literatura de viajes / historia / Ilustración / Guerra de la Independencia / 1808 / Spanish Image / Travel Books / history / Enlightenment / Peninsular War

Acceder

« Previous 1 Next »