adicionar à lista de desejos
Graph-Based Proof Procedures For Horn Clauses eBook
language: english
Publisher:
BIRKHAUSER BOSTON, November of 2013 ‧
see product details
59,61€
10% OFF
CARD
VnpaMU1FUjNlalJUVEhkcWNHVTBaR014TDJJdk9YRkNWRE15WW1nMGMzbE5kRWcxTVVKNWFHbHFXWEFyVmt4aVpXaFhXVU5tY0RoWmIwSkJORzR6Y1dzeGJtSlNOWFJ2UzBkbVRHZEJkalJyUWs5d1pETTJRbEV5UVdoSFlXOTJTVTQxYVVORWFVd3pSblZLY2twMGFHRldjSElyU2pKd1FXNU5RWEY0ZFRkbFFrbG1hR1ZUVDJSQ1VFMXNaVXM1VlhKSWVGbEtVa013ZG5OUU1HRTFaMjh4VVVsQ2FtNW9RV2cwVW14YU1WTTJOMEZKWjFOVU9HRjNlbWhSU1dsblV6SkhWMngxTVhwb2JITkZjV2RsTVZKVWVWQkRTMU5NY25OMWRsVXJNVVVyYVdWc2FYbDZXa3BZUW5SWGJXSlpVa2RxUjI1cGRqZDFWMlZqVjBWU2MxaFVWMk5oVm5WRU5VMVpUVEJHWTNwa1IzZ3lWVTFhY1ROYVpURnVVVVpuYkRKd2VGQjZhbEprU21wRVRETTJOVzQ0TkdSeVltWlljVGxxZDAwMmVYRk1ibE56T1VvNVkzcG5NaXRFVm0xM1lqaExRVzA0VVdwdmRHbFNXa1Y2VjFaVFEwWjBZa0ZCYUZSd2JITkxTbkZVTDJvMWJ6bDNhVmxEVUdaU1FXVjVlakV5VVRCMFVGb3laMDB2ZWtZMU0xRkdSWGxUVEdkbVZUQmpjbTFyVVhNck9UQXZkbmRDWm1kUFFWRkJXVE5EUlVGNk5WUmphVTFhU0ZsYVREbDFOMncwWmpKTlprTllRM001VUZWb1FqWjNTVk5GZDB0R1VFWlZSemh5WlV3eGIyVTVkMlk1U20xaVMyRkZhRWRXVFhWeFQwaERkSFpGVjBST1lreFNVMXBDUkRWeVdVMWtXaTl1UzIwdlNUaFhlblpHVmtaWlJUSjBRbWxqZEVSV1QwUnVjVWR5ZUdSWlRsSkxTa0ZHSzBsalowVlFlRzlLZGpKVFlXeFZVSFZJZVRKRlZEVndaRU5DV0doU2NsaFdXR2RuWVdWdWVITjZVa3g1YjAxdWRDdElkVkY0ZGsxQ1Nrd3pSSFJrTTBZMGFYVlRZa3hWTldKS1ppdDJVVTExY2t0RWNVdEdTRVJzWkdzeFIxRkJjMnhWTWsxeFlYTk5ZMVYwUmtOamNFMHhSMVkwYTNaR2NXMHJWRmRwVGs1alFYZ3JkamRJY0RnNWRWZGhTazh5SzBSaWEzWklla2w0Vm5Jek1tNXlTMnBtWkZsWVRHOTRiRkoyVGxad1lYRk5SRFEwY2s1dFIzaHpaVEpaUFE9PTp1bWNXL21VNWZBb3ErdWcyaDdBdXNnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781489935564 |
| Publisher: | BIRKHAUSER BOSTON |
| Release Date: | November of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Progress In Computer Science And Applied Logic |
| Categories: |
eBooks in English
>
Dictionaries and Encyclopedias
>
Encyclopedias
|
| EAN: | 9781489935564 |
BOOKS FROM THE SAME COLLECTION
-
Temporal Type TheoryeBook10%Springer International Publishing145,09€ 10% CARD
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARDfree shipping