Mostrando
1 - 1
Resultados de
1
Para Buscar '
friedr. vieweg & (sohn OR john)
'
Saltar al contenido
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
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
Idioma:
Inglés
Mostrar filtros (1)
Idioma:
Inglés
Inicio
Resultados de búsqueda - friedr. vieweg & (sohn OR john)
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Inteligencia artificial
1
Teoremas
1
demostración automática
1
Buscar alternativas
:
sohn »
son
(Expander búsqueda)
Mostrando
1 - 1
Resultados de
1
Para Buscar '
friedr. vieweg & (sohn OR john)
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Automated theorem proving
por
Bibel, Wolfgang, 1938-
Publicado 1982
“…
Friedr
.
Vieweg
&
Sohn
…”
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
Institución
Biblioteca Universidad de Deusto
1
Formato
Libro
1
Idioma
Inglés
Autor
Bibel, Wolfgang
1
Bibel, Wolfgang, 1938-
1
Editor
Friedr. Vieweg & Sohn
1
Año de Publicación
De:
a: