Minha sacola

    EFFICIENCY OF THEOREM PROVING STRATEGIES, THE - A COMPARATIVE AND ASYMPTOTIC ANALYSIS

    Favoritar
    Ref:
    639447

    De: R$ 1.411,04Por: R$ 987,73ou X de

    Economia de R$ 423,31

    Comprar

    Calcule o frete:

    Para envios internacionais, simule o frete no carrinho de compras.

    Calcule o valor do frete e prazo de entrega para a sua região

    Editora
    ISBN
    Páginas
    Idioma
    Peso
    Acabamento

    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.

    Ficha Técnica

    Especificações

    ISBN9783528155742
    Pré vendaNão
    Peso190g
    Autor para link
    Livro disponível - pronta entregaNão
    Dimensões23 x 16 x 1
    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

    Conheça outros títulos da coleção

      Este livro é vendido

      SOB ENCOMENDA

      Prazo estimado para disponibilidade em estoque: dias úteis

      (Sujeito aos estoques de nossos fornecedores)

      +

      Prazo do frete selecionado.

      (Veja o prazo total na sacola de compras)

      Comprar