Resultados de procura

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

    Proof technology and computation

    Publicado 2006
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Conference Proceeding 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
    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

    Recent progress in the Boolean domain /

    Publicado 2014
    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
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook

    Engadir a favoritos
    Gardado en:

Ferramentas de procura: