adicionar à lista de desejos
Fragments Of First-Order Logic eBook
Livro
eBook
idioma: inglês
Editor:
OUP Oxford, abril de 2023 ‧
ver detalhes do produto
108,64€
10% DESCONTO
CARTÃO
ZWsxb1MyWnVjVWgxY2xWSmFVTTVZMDQyT0d4bmQxVkdWa1UyTUVwNGIyd3dUbkZTTjBSSmIyaFlVRVpYVkU5VFVucEdibWhMYVVGUVNVVlNNbkJVUzJkTlZUQnJkM3BQYmpSNmMyazFSRzFLZG5GT2Jtb3JOall3YzNGRE5FSTNSa2RvTjJSM0wwSkdibVJ6WVhCTVFYZE5hVEpDYm1rck56ZGpWSGxKU0ZGc1Z6TTRWbmd2YWpJME1XTmplWEJIYlhkYU1IWkZObk5PU0VKVFZYWjFNazVTWm1WV2VIa3JPVzUwUkhGNVRuTmhhR2x4UTJ4dFQxUTNiRVpXTlhBeU9TdHliWGR1TWtOWVpsaEhkRWhMVjFsNVRWWkxVWGx1TlZSNk1tUXpkalJOUjI5dFJWSm1aRUpxTjFVNGQwNVhNWGs0VGxWUU0wWm5NVU5TT0RnM2RteGxkVVEzSzJKTU5VczNSVVkxVTNkQmVYQmtaMGt3TmtvcmMzRkRjVzluT0dSaEszbFRPSFJIYXpRd05EWldiV1J4TVRkSE1ETlBXbGhLVFhkeWVERkpZbVl3TjFVMWVFZHFjV1IxYkZwbVpFRlFNM0pwTUdvdlYzaDZiMjQ1Ukhaak9YWTNaRUZxUjJaTGRHVllhSFJYU25VeE9WTkJiRmR4Um1oRlkxbFlORTVCVDJ0Uk5rTjZiVlU1V25sSlkzZDNaRTFHVldkaVNYTnZURkpoTmpkQ05XaHVTVTV3WWtrNU1qTTBPWFl5U2twT1duTXlVVXhOV25GT2QwdzNiRTFpUkN0R1ZYZFdUalJxY3l0S2VWcHNkSE5QZGtjclQwTTNNMGhwZGpKNlRGaHZNMjQyV2xOV1NrSjFNbWRpTldkME0yOUtRbVEwWWtaR1pHVjRRa0o2UkU1eFJXOTJRek5ZU1hGWVVVUTJaa1ZYYVhGelNuTlJRaXRJY1M5UmJFUlViVGRUYWxkTWVpOVFSa3M1VFVsRlMwcE9NVkk1TVUxUFNtWkRXREJoTmxObFZETTNOV3hIUjJ4clRrRlBjVUZvVm0xTmRIWkNUMHhOY2t0TlpUSkRUbHB0V1dob0sxVlZPVk16Y1U5T1VXWnFWMk01UlUxRlJGb3dNM1kyT0VWc1JDOXNTMjV6VWxGbFV6UXJMM012VW5JMlprZG9ZMGMxSzNOblkyWmhlRTB5YVVOblNWQTNTSGwzYVdaM2FHWkJOalJGVFVNdmRUWjZkR2d4WVZGTVFVTnZSblZ4ZW5GQlZVSkxWSHBzVFZKQ1QyNVZVWFl6VHpOaVRHWjZRbWMzWkZab1pXWkhWakZ2UFE9PTpIR0xiUzQyd3A4RWFSV1piRVhOejhnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780192693891 |
| Editor: | OUP Oxford |
| Data de Lançamento: | abril de 2023 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Oxford Logic Guides |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780192693891 |
LIVROS DA MESMA COLEÇÃO
-
imagem não disponívelSet TheorySet TheoryeBook10%OUP Oxford43,71€ 10% CARTÃO
-
Controlling The Capital10%Oxford University Press118,97€ 10% CARTÃOportes grátis