adicionar à lista de desejos
Logic Programming
Operational Semantics And Proof Theory
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, agosto de 2004 ‧
ver detalhes do produto
51,37€
10% DESCONTO
CARTÃO
VGtncllVdEdaVEZqU2tkdFVFZ3hjRGRMVEZsd1ZYVktTVFIxY2s5R1ZYSkpVQ3RJYjJWNFIwOTBORXcwTW1KM2JrVlhaMDl0TW10V1YwRllNa294YTBkWmJGZzJNME5SZEZOck1rdGpSSFpKZURKdVYyMDVRM2xLU2xWSWRVOTFhWEJEZWsxWGJsZHdieTl0V2tsRVIwbFdXVE5aTmt0eFJHMUNWa1YyWjNaS1ZUUlpkRkJqY2tzM2IzaHVTVE5FYlVjMFFXeExWRFZrUzBwSFMyeHlWMFYzYlM5SU9GZHpSSGhWUWk5M1JtcHlMM1UzU25aalpsaDBSemgzWVdka1oxQmplVW96TTBsQmVWUlZVRkE1YVUwclEyeFRSVXRwUjFKM1NqRnBiRmxNZVZkNmMwVktRMUV4Wkd0VmFWaHVNWFJ0WW5WR05qaDJOUzlGVWpsSUx6VXZWbm8zU2toSFRtcDZkRTQyTTJoNmJtcHBTREZaUmpGNVRHb3ZlVWRGVlhkRFdWZFpZMUJzWVZjdlJrb3ZRakZvT0dsS1UxZHpVMjFRVERRNE5rWm1TVUptY0ZaQ2IySkRUMXB6V0ZwRmEybHNZbVpSYVVwREsyWlNMMjFuU0U0ck9YaGpTR3RoY21SNFpGcEhURzByYkZsTWFWSkNURzF4TVZBd1FVNTNkbE5TV0ZCb2VVMUtjV1p6ZDFwS1pYTXhiM3BuV0VNck1URnBhazlvTW5BM1dEVnVXVEU0T1M5MGNtdFBiRzV0V1ZCdFJsSldhMUpUVG5Wa2QybHhVRUpyZGpjemRGVlNkbGhUUVdoWGFIVnROSFZWVkhodFFVdEZlbUZMTTJweGJGZHRWRlJDWmpCaGFWaHljRmRIZWpOUU1GQlVSU3RMUlhWTFpVNUxhWGQxU0VsTlZYSnZNWFZ6TkdnNGFHMUNkRUZrVWtZM1FtMXRUV2xEUTB0QmJFdzVUVTVvY2tsVWFVUmpUR3cyYWxkWmNuaERjREpaZWpsSlEzSlVNekp1YmtKV1l6TnZjVWhpTUZobE9YWmxkQzlXVEdaRlQyVmFPWFpPZW0xYU5IVjNkazV4Y0VWNWExSXlNUzlaV2tGQ1kwWTJiREp6WWpBdmEycFVRM3AwUTI5aGFtOTBkMnhOZG1kWlRVMVNUVGRTVm1oQlpqWXlVM05UY3psNVoyaGxjVzFETmtselZXRnVOR052ZGxkS2RqZGlkRU5OU0M5Q1EwSlFWREp3WVV4M1kwaG9ZWEZZYTNaME9YUm9XV3hKUms4MFlsRXhZbTVOUjNKdWRrMXJkMHRMVjBkTVNHSXlSMEZTUVVndk9EQktiVE5yUVM5NVEySnlkekY0YVRneU16UXJURkZoWjJKVlRscEpiR3B4UlN0S09VTmhUelJSTDNSc1kxRjRiRmRsT0U1RGVEbHZjM053U2xnMU5XUmxibTVMWlZGQ2J6TklaREF5TWsxRlFnPT06NzZFZFlxTWt4dlNOUkVFdk5zajEydz09
portes grátis
Venda o seu livro
SINOPSE
The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780521607544 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | agosto de 2004 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 120 |
| Tipo de produto: | Livro |
| Coleção: | Distinguished Dissertations In 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: | 9780521607544 |
LIVROS DA MESMA COLEÇÃO
-
Specification And Proof In Real Time Csp10%CAMBRIDGE UNIVERSITY PRESS74,35€ 10% CARTÃOportes grátis
-
A Modular And Extensible Network Storage Architecture10%CAMBRIDGE UNIVERSITY PRESS52,72€ 10% CARTÃOportes grátis