Resultados de búsqueda - "Automatic theorem proving."

Materias dentro de su búsqueda.
  • Mostrando 1 - 8 Resultados de 8
Limitar resultados
  1. 1
    Imagen de Portada

    Conditional and preferential logics proof methods and theorem proving / por Pozzato, Gian Luca

    Publicado 2010
    Materias: “…Automatic theorem proving.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    Conditional and preferential logics proof methods and theorem proving / por Pozzato, Gian Luca

    Publicado 2010
    Materias: “…Automatic theorem proving.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

    The little prover / por Friedman, Daniel P., Eastlund, Carl

    Publicado 2015
    Materias: “…Automatic theorem proving.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    The little prover / por Friedman, Daniel P., Eastlund, Carl

    Publicado 2015
    Materias: “…Automatic theorem proving.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

    Recent progress in the Boolean domain /

    Publicado 2014
    Materias: “…Automatic theorem proving Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

    Recent progress in the Boolean domain /

    Publicado 2014
    Materias: “…Automatic theorem proving Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

    Proof technology and computation

    Publicado 2006
    Materias: “…Automatic theorem proving Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Procedimiento de la Conferencia eBook

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

    Proof technology and computation

    Publicado 2006
    Materias: “…Automatic theorem proving Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Procedimiento de la Conferencia eBook

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: