adicionar à lista de desejos
The Clausal Theory Of Types
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, abril de 1993 ‧
ver detalhes do produto
86,52€
10% DESCONTO
CARTÃO
V1RoWlpYZEpWSGwwVTBKR1VISlBTbFJyUlZaMFMzaG9hVXhUTTI0MGIyNWxWa1JNY1M5bFJFOW1hVlJwTjNoMksyWkVUMU5LTTFwM09WSkhOMGQyVm5KeWVsRlZTVXQyYmpOb1drbzViR2syYUZkcVRGcDJWR2MyU21aWmRuaE5hMGx0UmtKQlprdEJXa0ZrU1VSUVZVUXZlWG8zWjJsQ2FqazVURlZWUWxablExVnNiMHRRY2s5aFEyNWFNRVUwSzFsVGNIUlVjWFJxZEhaWlpFWjJlbUozZHpVeWJETlVUSHB5WTNWck1XSTNiRzg0UTJOU1UxbHFjV3RyYnpWTGJuUnRTM2MwVkc1aGFIVmplVGRwVmpOWVRWTlJTMFZSV1c5Q1VISllVSEkzY1hGMWVFTkZhWGhNWXpKaFJVRlRTRFE1U3psNldqQXZRVGN5TjBObFJ6Z3JVemhPWjB0VGNsaEdZaklyYkc1YWJVbFBiVmt6UzBZNFYwSTVWazgyWlhGTWVWZElRVmxDYUdwcWNUVm1ia2QzWVhNeVkydFdWMVJVTTNjNVZtdEtRMHRLU25WS00xZFFaVTFOWTFSTGJETkxOamQzVHpJck5IZGFjR2wxTUd3M1NqTmxPVEZOTURseWN6WnpXU3N5ZW1oRVZuRmtNaXR6V1V4eFMxWndaRTVaY0d4RlZGRjBRMFJNVm5wVVpqbHRXWGRQY0ZWTU9XODVSRFZ4VmtsWFFsRjBjRlJzVEZjNFVIUlhRazV4ZDNjd2RqSkZUamhWVW5oUk1IQldPQ3RuVjJObFlsSnJkV2xaYjI1VVIyVkViMFppTDJKeFdqWm9LMEZHUnpJNFNGTTBWeXRHWW05SVlVdDFOR1pKT0hadldWUm9lamx4VjNsTlkyVnNiRmMxVVZGSU9FUjFRV3AyUzNBeFJVRjJjRGt5VEVGSFZVY3JRWFI2U21wNGMwcHNURGs0WldKV1dsVkZXbTlXZEV0WFVXaHZiVUY2Ympaa1RIVXdZV2xXUlVJd1dWcG9RMGcwTHpWMGRIWlROVkl6VUVGQlNIRlJMekl4VkVaMldscEpiekpRYTBadWNUaEtkWE5aUWpkc2JYQjVPWEYwSzB4b1NYRnRUbWRNTlZOVU1uVjRjRmRhUlZWNVJrb3dZamxEVWxGbk1sZ3dhRFZpWkV4aVZFczVSalJMYkVkS1ZWcE9WaTlZVEhKSVN6WlFjVXBuV2t4eFJGWnhXU3RwV1dScGVIUlNLMlpHTDJoa1R6WkNUa0V6WTJSaVJFRjJlSFEzTDAxR2MyZFphMlpUTVdsWlQweFZWekJCZVZOdVlsUlZjVlJ1WTA5dlEwSkVhVmRIUVdGd1FXMW5PRGszZGtKaFF6SkhXbTVOZDNObWFUSk1VRXBpYW1kak9GaERaMmhNTnpnNU1GSlBja1ZYYzJGbVoyaEVTellyYWxoemRHaDBSVkU0YlcwMmVBPT06Ujlkd2pGN0ZhdU9aSUY0Q3Z0ZkMvdz09
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: | 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 |
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 PRESS39,20€ 10% CARTÃOportes grátis