adicionar à lista de desejos
The Clausal Theory Of Types
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, julho de 2009 ‧
ver detalhes do produto
39,20€
10% DESCONTO
CARTÃO
ZW00ME9FSk1PV0Y0VkhrM01HNXdWa0pJVkRSeE9FNHdkeXN6TlVVNGJFSkZia3R1Vm0xRFdYQklTR1pDTTJodVMwWnFUMjVZZUhkNVIzaEdVVXgxUTNCd2VrWnpjbUZDZGt0dk5FbHFUa2RITHpobVVFMHhLMU5yTkc1RVRsSnlhMnd3VEM5a2QzZE1UMmgxUkVocmFGRXJXVGdyZUZaUk5EaERhV0l4U0hGVVltaENLMHh5Wmt0UU5YVXpZWG80VkhOQ2FVMDFNMEZEYUdKQllXUTVhVWQyTVd4QkwwRmFkVzB6UWtjNWNsWmpTa2RPYTIxSWRuQnNNazFRU0dnelFuYzRUSE14V0RsWlprRmxLME1yZERVd2IyTkJTRWxwYzJsbGNrRmtiREp5VWsxR2NuUklkMHc1VlNzM1VGUlNjRUpUZFZWYWRYRnJiMkpsU2pnMFNWTldSVW8yTm1aU2IweFRNMGhqUWxGUFZIUm9ibVZDY2tKT1VtVlNURWM0TkcwcmFWSlNXazEwTHpoNE9EaE5abGhzVDNkQldUWmpRa2hyWmk5aFVHUmpSRnBMY1dReVUzUmpNa3BwYlc5S1FuRXhOV2c1Y2pVeWRrTldSVU1yZVROd1pHRlFjRTFIZVdwYVJuRmlLMHR6U3pJMVZVNXFkMVpLYUhCWUwyTldORFV3V0ROeFpEQXlVMHhuVms1eWRFWndOblptTXpkU2IweHlOa051WTNOUk1sWnhVbkExYmpsWloyUkJXWEpLVWt0T1RGbGhVMXBQY1ZCcFRreERiR2xDTlZCTFVsaG5VV2QzTm1GSmVXaHdjSEJuVDFnd1FsVTNkRGxXVW5kbkswMUdOVGxuVEVOVVNGVnNXV2hJUTNwRVdUUjJaMmxVWVN0YVJWTnZhVkJyWWxKR2NFOXNSelJoTVZSNmFuWjFVWFJ1ZDA5Sll6aDBWa3RTU1ZCNEsyRjVlRzFvUWxOd1JtNTBUbVJIVVRGMlZXZEZTVEZvTm5wVWNWaEdRMUYwY21oUk4xWldPRUp6YUZCMU5HbEJkemRTYTJGdlRUbGlUMVIxVlZseVVsRlVaVmxOTjJoUkszRXJPQ3RZTWxoMk4zSjJZWHBQVldwaGJUTnBZaloyU25oT04yTkVlVzlRUldaMU9VRTFjemMyWWpOT05sbHhORm8xVVRWdGIzTldTV0pFYkVoTE0zQkVSMjlUVTJkb1pTdEtVWGRRV25KaFJtRTNhWEZOVlhJNEwxazNTVXg1YlVOSE5tVXZlRGd6WWtWVlJrYzJibWh2UnpsTlkwMW9kMmhCYW1ReFJHTkNaVGtySzNvMVZXUnBNakp0VEN0M1ptRkJSVUZGY1VwM1ZVMWlMMXBMVjNCaldVNTZOVmxuTUdkRVZVSm5lRk5VYWtRNE1EVTFWRlZvTTNOdGQxQnNVemt5TlZCdU9ETlBZamhVTm1GM1NXYzJXR0phZGt0M1VRPT06NFFoam1TVFlKMzNPa01KZCs4ckNtdz09
portes grátis
Venda o seu livro
SINOPSE
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
DETALHES
| 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 |
LIVROS DA MESMA COLEÇÃO
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis
-
10%The Clausal Theory Of TypesCAMBRIDGE UNIVERSITY PRESS86,52€ 10% CARTÃOportes grátis