Resultados da pesquisa

  • A mostrar 1 - 8 resultados de 8
Refinar resultados
  1. 1

    Proof technology and computation

    Publicado em 2006
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico Conference Proceeding livro electrónico
  2. 2

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

    Publicado em 2010
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico
  3. 3

    Recent progress in the Boolean domain /

    Publicado em 2014
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico
  4. 4

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

    Publicado em 2015
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico
  5. 5

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

    Publicado em 2010
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico
  6. 6

    Recent progress in the Boolean domain /

    Publicado em 2014
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico
  7. 7

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

    Publicado em 2015
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico
  8. 8

    Proof technology and computation

    Publicado em 2006
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico Conference Proceeding livro electrónico