adicionar à lista de desejos
Graph-Based Proof Procedures For Horn Clauses eBook
idioma: inglês
Editor:
BIRKHAUSER BOSTON, novembro de 2013 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
YVRCbFowWTNPRkpHTXpkbWFrZG9UWEppVkRGR2RrTnliSEE1YjJnM2FrZG1RazFDYjBSb1lVbEhXRzlvYUVZNGIyOXhWbGRZUzBGTmRTOUpVMXBOV0RKcGJ6UmFXRGhSYkcwck1qWkNiR05wY3pCaVowY3lLM1U0YTFaTlMzQnhLemwzVjJWMGNtMXJWbGRXTmxSa04zTnNjRmR4U2xFckswSkdUM0ZKVldsNlVpOU1SMUpzYjA5b05tOUtVVWRLU2t4MGFISnVUMXA0YUhOdGFWbHFVRTVNWTFWd1UweDBTR1ZCV1dGUmEybHRUM1lyVlZablVtVlFkVEpVTUd4TFJqWkxkRE42TVRGUWFEbFpabVZ2TXpGRlFrOW9XRzA0THl0U2JuVjRjRk5XUW5ZME1WZzVhV3hRVDFGM01UVm5aMFpUYzFSclVVd3pjU3RvWjA5S01tZDNWRGxtZG5ad1prTnFUM0pwYW5nclkyWklVR05wZUVwVldIZ3JLMEp1V2xsclVuQXlUWEUzZG5WMmVXNWhXRlZ2V2tselZXOXpVQzlNU1RST1YyUjJUMU5VUjI5UlN5czNUakIwV21nME5GUkZNVFpFU0ZCb2NtZHdkelJ1V25wQ1lrRnZWblJUWXk5UWNUSmxTeXRwZG05Q2QzZ3lTR1p0TWpaRmRWUlllSEYyTXpkTlFWZHlVMUF2UjA4eVdtbGpSVXgyVFU1eFFtdDVhREIxVDFKT1MxWnlhMDlRZERJNVdDOXhRekp0V0U1S2JGcFlaV3hZTjJ0WVJrZEZiMlZGTW0wdlVucGtSbWd2ZVRFNGFGcG1lVVZ0TDFKWWFVcEVkbVJtUlV3cmFtUlNiV2xsWjFsWVNUVXdXblJqVFdZMU4zVXJZVUpsU25SS2RDOUZhMk1yYzBRd0syRnRNVzVtTTNsblpIaHhUVU12UW1Sc0x6QnhTWEp4TkhoMUsyTklaM2gyVFV0cFYyWlZWeko2WmxWQlpGcElOMDlZYlRaaFMyVXJTekJGVTFkdWIyRkZUVzVwWm5SVGFsUkVURzl3TkROWlVuQXJURWxKYm0wd2JEZ3lVQ3ROV0ROcFpGWjFTRkZ1WTFGTU5tSnNha0ZvUkdKa1NFZFJPQ3N2YzJaV1dFWTJSVmx5TlZadGIxRnRlRmRRV0U5bGVGbEhjMWhzTDNwUlNXVjZSMjl0VjJGd01sSjJUWEZDVFhZek4xSndXV3BJZUhoa2VpczJhRXRvUzBKbGNIcHBOVFZsTm10YU5VbHVXWFpoYjJkaU5HeGlWV05NWWpaS01IaENZMDlDWVU0clFuSklNalZyUFE9PTpFRzZTZUJ6N0hSVTVmbytMNktDVEVnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781489935564 |
| Editor: | BIRKHAUSER BOSTON |
| Data de Lançamento: | novembro de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Progress In Computer Science And Applied Logic |
| Classificação Temática: |
eBooks em Inglês
>
Dicionários e Enciclopédias
>
Enciclopédias
|
| EAN: | 9781489935564 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Temporal Type TheorySpringer International Publishing145,09€ 10% CARTÃO
-
10%Communism And Nationalism In Postwar Cyprus, 1945-1955Springer International Publishing AG60,82€ 10% CARTÃOportes grátis