Repositorio Dspace
Buscar
català
español
English
Inicio
→
Recerca
→
Buscar
JavaScript is disabled for your browser. Some features of this site may not work without it.
Buscar
Filtros
Use filtros para refinar sus resultados.
Filtros actuales:
Autor
Centro
Materia
Fecha
Tipo de contenido
Lengua
Contiene
Es
ID
No contiene
No es
No es ID
Nuevos filtros:
Autor
Centro
Materia
Fecha
Tipo de contenido
Lengua
Contiene
Es
ID
No contiene
No es
No es ID
Mostrando 4 de un total de 4 resultados de la comunidad: Recerca.
(0.079 segundos)
Mostrando ítems 1-4 de 4
1
Opciones de clasificación:
Relevancia
Título Asc
Título Desc
Fecha Asc
Fecha Desc
Resultados por página:
5
10
20
40
60
80
100
Complete Monotonic Semantic Path Orderings
Borralleras Andreu, Cristina
;
Ferreira, Maria
;
Rubio, Albert
(
Springer
,
2000
)
Monotonic AC-Compatible Semantic Path Orderings
Borralleras Andreu, Cristina
;
Rubio, Albert
(
Springer
,
2003
)
SAT Modulo Linear Arithmetic for Solving Polynomial
Borralleras Andreu, Cristina
;
Lucas, Salvador
;
Oliveras, Albert
;
Rodríguez-Carbonell, Enric
;
Rubio, Albert
(
2012-10-04
)
The recursive path and polynomial ordering for first-order and higher-order terms
Bofill, Miquel
;
Borralleras Andreu, Cristina
;
Rodríguez-Carbonell, Enric
;
Rubio, Albert
(
Oxford University Press
,
2012-06
)
Mostrando ítems 1-4 de 4
1
Opciones de clasificación:
Relevancia
Título Asc
Título Desc
Fecha Asc
Fecha Desc
Resultados por página:
5
10
20
40
60
80
100
Listar
Todo DSpace
Comunidades y Colecciones
Por fecha de publicación
Autores
Títulos
Materias
Esta comunidad
Por fecha de publicación
Autores
Títulos
Materias
Filtrar por
Autores
Borralleras Andreu, Cristina (4)
Rubio, Albert (4)
Rodríguez-Carbonell, Enric (2)
... más
Centro
Universitat de Vic. Escola Politècnica Superior (4)
Universitat de Vic. Grup de Recerca en Tecnologies Digitals (4)
Materias
Aritmètica (1)
Informàtica (1)
Lògica matemàtica -- Congressos (1)
... más
Fecha de publicación
2010 - 2012 (2)
2000 - 2009 (2)
Tipo de contenido
Artículo (2)
Capítulo o parte de libro (2)
Lengua
eng (4)