Mostrando
1 - 1
Resultados de
1
Para Buscar '
"Academic Press International Series in formal methods"
'
Saltar al contenido
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Idioma
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Resultados de búsqueda - "Academic Press International Series in formal methods"
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Demostración automática
1
Inteligencia artificial
1
Lógica matemática
1
Teoremas
1
Mostrando
1 - 1
Resultados de
1
Para Buscar '
"Academic Press International Series in formal methods"
'
, tiempo de consulta: 0.05s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
A computational logic handbook
por
Boyer, Robert S.
Publicado 1998
“…
Academic Press International Series in formal methods
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Herramientas de búsqueda:
RSS
Enviar por Correo electrónico esta Búsqueda
Atrás
Limitar resultados
La página se volverá a cargar cuando se seleccione o excluya un filtro.
Institución
Biblioteca de la Universidad de Navarra
1 resultados
1
Formato
Libro
1 resultados
1
Idioma
Inglés
1 resultados
1
Autor
Boyer, Robert S.
1 resultados
1
Moore, J Strother
1 resultados
1
Moore, J Strother, 1947- col
1 resultados
1
Editor
Academic Press
1 resultados
1
Año de Publicación
De:
a: