0

Meu carrinho

    Favoritar
    EFFICIENCY OF THEOREM PROVING STRATEGIES, THE - A COMPARATIVE AND ASYMPTOTIC ANALYSIS
    Ref:
    639447

    Por: R$ 1.013,29ou X de

    Comprar

    Sinopse

    This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies. Thus it permits one to gain a theoretical understanding of the efficiencies of many different theorem-proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9783528155742
    Pré vendaNão
    Peso190g
    Autor para link
    Livro disponível - pronta entregaNão
    IdiomaInglês
    Tipo itemLivro Importado
    Número de páginas170
    Número da edição2ª EDIÇÃO - 1999
    Código Interno639447
    Código de barras9783528155742
    AcabamentoPAPERBACK
    AutorPLAISTED, DAVID A.
    EditoraSPRINGER VERLAG
    Sob encomendaSim

    Este livro é vendido

    SOB ENCOMENDA

    SE DISPONÍVEL NO FORNECEDOR SERÁ ENTREGUE EM dias

    Mais

    O prazo de acordo com a transportadora selecionada.

    Comprar