Resultados de procura - "Automatic theorem proving."

Suggested Topics within your search.
  • Mostrando 1 - 8 Resultados de 8
Limitar resultados
  1. 1
    Imaxe de Portada

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

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

    Engadir a favoritos
    Gardado en:
  2. 2
    Imaxe de Portada

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

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

    Engadir a favoritos
    Gardado en:
  3. 3
    Imaxe de Portada

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

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

    Engadir a favoritos
    Gardado en:
  4. 4
    Imaxe de Portada

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

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

    Engadir a favoritos
    Gardado en:
  5. 5
    Imaxe de Portada

    Recent progress in the Boolean domain /

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

    Engadir a favoritos
    Gardado en:
  6. 6
    Imaxe de Portada

    Recent progress in the Boolean domain /

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

    Engadir a favoritos
    Gardado en:
  7. 7
    Imaxe de Portada

    Proof technology and computation

    Publicado 2006
    Subjects: “...Automatic theorem proving Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Conference Proceeding eBook

    Engadir a favoritos
    Gardado en:
  8. 8
    Imaxe de Portada

    Proof technology and computation

    Publicado 2006
    Subjects: “...Automatic theorem proving Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Conference Proceeding eBook

    Engadir a favoritos
    Gardado en:

Ferramentas de procura: