The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science - Wolfram, D. A. (University of Oxford) - Livros - Cambridge University Press - 9780521117906 - 30 de julho de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Wolfram, D. A. (University of Oxford)
The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science

Preço
R$ 251,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Wolfram, D. A. (University of Oxford)

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

Ainda não avaliado

Também disponível como:

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

136 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 30 de julho de 2009
ISBN13 9780521117906
Editoras Cambridge University Press
Páginas 136
Dimensões 170 × 244 × 7 mm   ·   230 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Wolfram, D. A. (University of Oxford)