adicionar à lista de desejos
The Clausal Theory Of Types
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, July of 2009 ‧
see product details
39,20€
10% OFF
CARD
WkhOeE1GQktaM1pQWlUxbGJ6bDRVMDVzUVVRd1MxTk9WMGswTWpoT2MwczJla1ZIVVZkdWJEVk5UM1p4V0RkcVMzTkVNRWhHYUVFcmIyZzRZVGRIV20xdmNFMUZPVFpCTkhZM1oyUlFTRWx6YlROTmFHODBVSEE0T1RkS2JuTm5OMmRxWlVKQ1NYbHRjV05XVVdKeU5IUnhOMDg1UzNCeFJHcDNUVmxaY1VWNU5FaExjVmRxZVdneFVXRlJSRE13T1dSVGJIUXhiSEFyYjBGWWNWVXJRVkJZT0dsYVIyaEVTRlpWTUhGdGVFaFpRMHBTUTBoaWNIVnpSamRsWkVGblVrSllZbE5hVVhobFZGUlZNSGtyZURWTmEyMVdTR3M0ZGtGMWQxUnVlVVpRWVcxcmIyVTNNRXRyWmxOWlkxWlVZVmR0UTNvcmVGbFdZMjUzYjNGcE9WSm5ObU5uY1RaaFZIaFJhMkpDWmxONGNFaGlhMU5tY1ZKelJVRndjMHhPUlhCV1dXRm5hR3MzSzNGaWRqaFBXREJ1Y0V4eU5raHdNbFV5ZEc1UllqWldZMWRZTDJkeVZIVjRNMHhIVjBkclJTOU9NemhMZFUxeWJHVXdhM2xGVHpGTlRsWkVZamd3TUc1Vk9FRllla2haZUhnek4wcDFRMEpqWTBWVU1qQkVRMWRvWjNNelUzWmxhMnRTY2xWdE1rZ3pOams1U2t4bU5qQk9WbkZYSzNWRFJuZE5ZMkZ2WmtWemEwcFJhekpFYXpsRVFXRnVWMnRQVjFVelJUVm1kRXRMV0RVNE0yMXJhbVZDWjBrM1pUZHNWWEpXUW5BMFQzQlhRVUpTTWxwTlZWWjNXR3hIUm1GQ2NuZHdWVEZ1UzJjeGQzQlRaSHB1UWs1bVFWbGtRMkprS3pWamMyNTNlbGQzZVhobFdGSmxXV3Q0ZDNGdFdHOXZObm81UTA1Qk5UVm5VREpXVkZSWFNVOWlkRFl3VlVsNmFGcFZhazlNT0dOVlNrOTNaR3hOZEZKTVNuY3pRazlEVmtGM1p6TlBkREV4VlV4UmJsSlJjMGtyUVdoUk9GYzRMM0ZrTURCU1EzTjJTalpZUWxOWE5qUTFjMHMxU2prd2JVcEZabnBFVjBWSFdGVkdkalVyYkVKbU5XOHpXblI1Tm01cVkzRXJaalYwYUhWdFdYVjRVM0U0TTBoS1RXeHJkV2RXTVdzellXNW5lbkl2TW1sRmVHNVRXQ3ROTW5GVmJXUXJaa3BxVjNCSGRGcHliak16Vm5kR1IyNUxZVTVSWVhKdmFWQXdVMHBEUmpKV1JFVm9OMXBUWW5rM1MydGtTRVZGY0VJMFFsaHJiM3BpTkhsaWJGTm9hbVI2WkVKUFFscFljM2xYUlRWTlJrNDBRVDA5OnRjU0hYbk9jUVV1ZitmMGJEaE5oQ0E9PQ==
free shipping
Sell your book
SYNOPSIS
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521117906 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | July of 2009 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 136 |
| Format: | Book |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
Books in English
>
Computing
>
Other Applications
Books in English > Computing > Introduction to Computing Books in English > Others |
| EAN: | 9780521117906 |
BOOKS FROM THE SAME COLLECTION
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping
-
10%The Clausal Theory Of TypesCAMBRIDGE UNIVERSITY PRESS86,52€ 10% CARDfree shipping