0

Meu carrinho

    Favoritar
    LABELLED DEDUCTION
    Ref:
    628413

    Por: R$ 1.825,69ou X de

    Comprar

    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
    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

    SE DISPONÍVEL NO FORNECEDOR SERÁ ENTREGUE EM dias

    Mais

    O prazo de acordo com a transportadora selecionada.

    Comprar