0

Meu carrinho

    Favoritar
    AUTOMATED MODEL BUILDING - APPLIED LOGIC SERIES
    Ref:
    627805

    Por: R$ 2.362,69ou X de

    Comprar

    Sinopse

    This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9781402026522
    Pré vendaNão
    Peso384g
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas344
    Número da edição1ª EDIÇÃO - 2004
    Código Interno627805
    Código de barras9781402026522
    AcabamentoHARDCOVER
    AutorCAFERRA, RICARDO | LEITSCH, ALEXANDER
    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