A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Livros - Birkhauser Boston Inc - 9780817635930 - 1 de novembro de 1991
Caso a capa e o título não sejam correspondentes, considere o título como correto

A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition

W. Snyder

Preço
元 396
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 10 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition

In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari.

178 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 1 de novembro de 1991
ISBN13 9780817635930
Editoras Birkhauser Boston Inc
Páginas 178
Dimensões 155 × 235 × 12 mm   ·   449 g
Idioma English  

Ver tudo de W. Snyder ( por exemplo Hardcover Book e Paperback Book )