Mostrando 1 - 4 Resultados de 4 Para Buscar 'Bibel, Wolfgang, 1938-', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Automated theorem proving
    por Bibel, Wolfgang, 1938-
    Publicado 1982
    Otros Autores: “…Bibel, Wolfgang, 1938-…”
    Libro
  2. 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-…”
    Libro
  3. 3
    Fundamentals of artificial intelligence : an advanced course
    Publicado 1987
    Otros Autores: “…Bibel, Wolfgang, 1938-…”
    Libro
  4. 4
    5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980
    Publicado 1980
    Otros Autores: “…Bibel, Wolfgang, 1938-…”
    Libro
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda