Mostrando
1 - 4
Resultados de
4
Para Buscar '
Bibel, Wolfgang, 1938-
'
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
Inicio
Autor
Bibel, Wolfgang, 1938-
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Bibel, Wolfgang, 1938-
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Automated theorem proving
por
Bibel
,
Wolfgang
,
1938
-
Publicado 1982
Otros Autores:
“…
Bibel
,
Wolfgang
,
1938
-…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
2
Artifical intelligence methodology, systems, applications : proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84) Varna, Bulgaria, 17-20 September 1984
Publicado 1985
Otros Autores:
“…
Bibel
,
Wolfgang
,
1938
-…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
3
Fundamentals of artificial intelligence an advanced course
Publicado 1987
Otros Autores:
“…
Bibel
,
Wolfgang
,
1938
-…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
4
5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
Publicado 1980
Otros Autores:
“…
Bibel
,
Wolfgang
,
1938
-…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Herramientas de búsqueda:
RSS
–
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Inteligencia artificial
Teoremas
demostración automática