adicionar à lista de desejos
Logic Programming
Operational Semantics And Proof Theory
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, August of 2004 ‧
see product details
51,37€
10% OFF
CARD
Ym5jNVNUTjFRemhhY21oYWNVeGhVbkJxVHpGdmVWSk1UbU5vVG1oNFoweE9NVGhVS3pacFVuUTRTbFpFU1d4RmIyNVhiVWd6VkV4VGEydE1hakl5T0V4ck1VdDZlbkpGUVd0eUwyeGlUVnBUYzNoR1pUWlpOMGsxTVdSNFFqWXJhVTR4VUdaMGNITjVVakY0VmpCQk5VVTBUekp6UVRoeU0yTmxjbXBQU0ROVWVrRjRhV1pZV0N0TVJIazBWVmRSZUc1c1IyTnlSVE5GY1ZrdlZVNXBaRlptWVd4WFkwTnFhRFZWZDNOQ1pXeHdVRFJETXpOWFoySlNSM2hNTlUxVmMxWkRUMjkzUlRWbFNXdFBSVEV3V0VwaWFHWk5XVkF4VjB4NmVTOVlhek5qZGtKcFMwdHNkVlpaWWtOWWEweDZaR2d6Um1NeVEwTlVVMVZ1TjBNMGRrOW5iVXhZTDBjeWJubFpUa3R2U1RGVVEwTXZOWGQyY0Zkb2JYVmFVa2d2YjJnMGRXTjBXVzlGV0VvdlNqQlNSR2tyWnpaNGQxVnNaM0pKWWtaUGQzb3hjRFpJWjA0eVNYaGFjMWxMWlZGcU5rUmpjMHh3VDFWcllXTlNSR0ZYTlV4MGFWQTVObWt5WlRkbmFuQkJZazFDYUhGRFMybERNbVpDVWxwS1dEUjRZV2Q1WVc1SU1FeEtOVWc0YkZab2QwTmphVk5PY0c4NFFVdzVhM04zY1RGbWJ6UmtRMmRSVTNCSVVpOVJkbGd4VVRsclVqVmxlakY1T0ZOU01ESjVTSFpKVkZsVVMxUjFVMk5YTWtVMksyUkpXRFpuV1docVdDdElia2RwUWs5Q1puTllSbTk1U0RrNWVGbEthRzV0T1doWmVWaFNRamRQV0RoT1YyTkRWMnByVHpCMWRVRlRWekppVG5wT1JHZEtPRkJSTjBSMFNqUjZSVVpzTDNWS1RWaGlOVTFWWjNBMVRFbEdlV1kyU0hwTWJVRXJSa1l2VlRBelNtZG9aVlJ1YjNkV2FXRm5hR1V5YWpkV1UyMXFWM2RuY1hoV2VrVndjR3cyV1ZkbVJGZzJUSEZzV1VSd1FYbzNOM3B6WW5GUGNVd3paR2RLVm1wTlIzTm9MM0pJTDNKNE9DdGlaRTlPUzNSWWEyNTJlRmhPVDFRMllYQkpXbmw2WjJKaVQzZGlNMVl5YnpadFIwVklaMWR1WWtSVWJFaGpUbmRwZEhjdlpFVjVRMUpYYWtObldWSmxTbTFsUlVoVWFsaFVkRVJzZVhaU1VtcDVLMEp3YVdFd1QwOVlabUpxZG14cmEwUk5RakZ1U3l0MGIxaHNNMnRuVUVKd1RHVkRTelJOTUVWblVYTkdOeTlPYWxsM2VISXZRMkY2ZGtwd1QxcFJVVDA5Om4rR3NIOHNpN2t6UHd1Q3l5L20raHc9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521607544 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | August of 2004 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 120 |
| Format: | Book |
| Collection: | Distinguished Dissertations In Computer Science |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Computing > Introduction to Computing |
| EAN: | 9780521607544 |
BOOKS FROM THE SAME COLLECTION
-
Specification And Proof In Real Time Csp10%CAMBRIDGE UNIVERSITY PRESS74,35€ 10% CARDfree shipping
-
A Modular And Extensible Network Storage Architecture10%CAMBRIDGE UNIVERSITY PRESS52,72€ 10% CARDfree shipping