0

Meu carrinho

    Favoritar

    LABELLED DEDUCTION

    Ref:
    628413

    Por: R$ 1.532,04ou X de

    Comprar

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

    Sinopse

    Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics -- for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9780792362371
    Pré vendaNão
    Peso313g
    Autor para link
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas280
    Número da edição1ª EDIÇÃO - 2000
    Código Interno628413
    Código de barras9780792362371
    AcabamentoHARDCOVER
    AutorGABBAY, DOV M. | BASIN, DAVID | D'AGOSTINO, M. | MATTHEWS, SEAN | VIGANO, LUCA
    EditoraSPRINGER VERLAG
    Sob encomendaSim

    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