Mostrando
1 - 3
Resultados de
3
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Iniciar nueva Búsqueda Básica
|
Iniciar nueva Búsqueda Avanzada
Versión -
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
Mostrando
1 - 3
Resultados de
3
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
por
Puddu, S.
,
Sabia, J.
Publicado 1998
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Artículo
publishedVersion
Agregar a favoritos
Guardado en:
2
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
por
Puddu, S.
,
Sabia, J.
Publicado 1998
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Artículo
publishedVersion
Agregar a favoritos
Guardado en:
3
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
por
Puddu, S.
,
Sabia, J.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Atrás
Refine su búsqueda
Institución
Universidad de Buenos Aires
3
Colecciones
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
2
Repositorio Digital de la Universidad de Buenos Aires (UBA)
1
Formato
Artículo
2
JOUR
1
Autor
Puddu, S.
3
Sabia, J.
3
Lenguaje
Inglés
1
Año de Publicación
De:
a:
Cargando...