10% de desconto

The Clausal Theory Of Types

de D. A. (University Of Oxford) Wolfram
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, julho de 2009 ‧
39,20€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

The Clausal Theory Of Types

de D. A. (University Of Oxford) Wolfram

Propriedade Descrição
ISBN: 9780521117906
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: julho de 2009
Idioma: Inglês
Encadernação: Capa mole
Páginas: 136
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
Livros em Inglês > Informática > Iniciação à Informática
Livros em Inglês > Outros
EAN: 9780521117906