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

Subject: mathematics Repository: 30

Sort by Score Title Year -

1-2 from 2 results (0.012 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: Alberto Lista y el Real Colegio Seminario de San Telmo de Sevilla. Los inicios de una carrera docente / Alberto Lista and the Real Colegio seminario de San Telmo of Seville. The beginnings of a teaching career
Author: Carbajosa Aguilera, Manuel
Language: Español
Repository: 30
Subject: Alberto Lista, docencia, matemáticas, Real Colegio Seminario de San Telmo. / Alberto Lista / docencia / matemáticas / Real Colegio Seminario de San Telmo / teaching / mathematics

Acceder

« Previous 1 Next »