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
VEZwWmFGZG1jVGRxZW1OQ05TOUJNemRXU1hFck1URkNUUzgwZURoRGQwTm1RMDlIY0RoWGVtaHZjMWRrUzA5V2NsUTNkV2xKVWxGVmQwUlNVVWxTVGtweGN6aFJlbGREVkVkbGFGcHNiRGsyYlZka1lXbzRURXc0ZDFkSlFtYzJjWGNyWlV4Tk4yOVlNalI2VmpGa1RqbGxRVk50ZUhKWlNVZGpiREJ1YlN0MFQxbGFSMk0zVkVGWk5WZHBja3h4UlZsMmMzRjFaMlJ4VXpORVIwZDZVRVJMUkVSblJGVXZhV2h5T1RoMVFsZGhjRTlEZVd4QmVrUjNkMVpKY0RoamFWa3ZXbUZCVUVOU05XUk1lV0prVGt4WFNYUjJhMkZQZW1oalltaHZWMWc0Y1RVMk9FRjFRMUYyWWswclpITlBhek5LYlZrcldrbHpRVFZsWTFaMU1uTTRUVzFqTnpCMFlqTTJXblIzV0RkMFkyRlFjRlFyZUdGc1JVaGhPWG8wSzJGdVkyZHVjRWx4TVRkc2RrdG5aRzF1T0Vrd1VWVkliMXBuWkVwUWFHMXFhM05qVW5Sa2NtbGxWRXhHY2toVVFqQnpTbkpPUTJsS1VtaEtNVlkxU21SSWVGTjBObTl5V1hjMFVsTjBWWEZOY0RoeFUzRnVjVzUzYzNsUmNtbE5ia2RXVEdnMlpsWnFXSEJWVmxFMU1tRjJNVGQ1YVVGTFZtNHZZMHN6WkU5R1MwSnZSbGxrWW5oclp5OVpRemhZVEZwSmNEQnFhamRNWms1ME4zZFVZVlJDY21WRVUwbERWemd5VjJRd2EwWkVSVFp2T0dOblJtYzFURlZoZVcxb1RXeGxUekZGU1ZGeVptMHdkbk5sVDFadlZ6UkdaMUZqV1c5TmFWSnRVVWhRVmxSamMyaFdTbXR6VVRGaE1HRmpVbFY1YUdoa1dIRlFZVFVyY1hKSU0wWm5kRWhJUlRWUFVqQm9kbGhrU3pKalppdE5iVEppWVRCdFJqUldRbXcwY0dFNFRGRjZNazFQVDJsQ2QyZE1USEYzWTJkWWVEQXlObVoyT0ZsUGVqQkhka3cyVkN0SlVIZEVZV0prVW1ST05tOHJVRk5CTkdnMlZGcGtjV2RHV0VsSmFWRlpNRXh2WWpoeGRXeEZWbFprUmxGdlRGcG9VVkZzZFZWeVIxRXJkMmhGTlRoeVRWcFlSVGx5Vm1sNlVFMWlkMmd6UjBoTFIzSnNabkZUYVdka1JXbHhSa04wYmsxM1lqUXJXRGcxVFdadWIxbDVSM0ZWTVVZeGVtdzFRbWwxVlhGU2NtNWxWbmd3UFE9PTpiU0Q0QlBkbUpxZXJvamQ2L2JwV2lnPT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| 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
-
Temporal Type TheoryeBook10%Springer International Publishing145,09€ 10% CARTÃO
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARTÃOportes grátis