10% de desconto

The Clausal Theory Of Types

de D. A. (University Of Oxford) Wolfram
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, abril de 1993 ‧
86,52€
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: 9780521395380
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: abril de 1993
Idioma: Inglês
Encadernação: Capa dura
Páginas: 134
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Informática > Programação
Livros em Inglês > Informática > Iniciação à Informática
EAN: 9780521395380