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
SzFSNVJVTkVlVU5TYlVKUFZtZEhaMmh3Y0V4cVRuZEtXalJ1TWs1eWRESnVTSE41TldreGNrZzVjRTFFUlRCSldVMTBTVGhVTWxweVRFMXpjR1U0VkM5b1V6WndNV2R5ZEZkT1RrMXlWM2htUkc0eVZ6VlpRazV3Tm5kcWQwZG9lRTl5Y1dOemVsSTJiMWMxYkZOMllXaFBXbFZqVEVRMFZXdElkbFJMTW01RWNsVlVNRXM0TWpsRVlrVjNOVzR5TVhJd056RmhOamRNTDJsUWVFNHJTbFZoWjB0blp6SjJRVm93TURGQ2FWY3dlV2RTTWpSV1NqbFFWMGRsY21VeGNFazJaWEEyU1ZKMFdGVnRTa3g2ZEc1cVRrMDNlVVpUU0dwUFFWQk9kVFZvTkVSd1ZFeFlUVWMxUW5FeFNrUnFSWEpwU1VwUGFrZFdSVVIwU2trd2NFTkRRVkZ4VFhGSE5GTlZNR0ZySzNGQ1dYcFFTMHBPV2xOM1NqUkRiR1Z1VkhFNEwzZGFSV3B1YjJaUmRYUkhOVGhVY0doc1R5ODRTMDh6Y3pCT00zQTNaa292UjJ4aFkyMUtXVGh5YVc5bGFsSTBOMm80WWpZMlRISk1VR3NyWlVoQlQycEZkRlYyV0V0aVVFazNVWGMzV25wTFEyOVFaVkl3UmpVeldXWTJhR2h5YmxGUmRtaFhNVlp2VVdSRldWWmFiVVIyVG1jeFdFNTVVU3QwVWpWdGFHRlpibGd5V21Jd2FFZDZRVEZJU0hSUmRIRm9VSEZxYjJsU1kxRjZkRUp1Y0dwWVMzVlFjbkEyYXpRck16WlpjVU5IUmpkVlVuQXljRW8wVVcxRGNHSTJjMWREWjJaR1RWSnZOVFYxWTFRMVQxaEJUMmhzUldwWlVHTTFkbU53TjFOT1p5czJSbTVCYVd4eGJsWm1SVTlTTmtsWmFqRlVWemhKTkdod1REaEZVM1ZyVTJOVVoya3hSRU5GWVV0QmIzWlljMFJtUldGRmNVeDJSbXBLTjJkQ2FtZFhRMnhxYVV0UWVEWkNiVGczTkhWTU4xQnNSazFXUVROMEwxTkZaRkV2ZVN0eVVXSkJORXBQYTNaM1NGTm9USEpQY0RONU1WcGFhM1ZqVjBKS1RWZzNZVFJOTWs4elRIZE1XRzFCWlUxWVlWZzVaMEZZTHl0SVoxVjVWR0ZEY1ZCb2QybHdOM0pvU2pOWVZraHhXbkZ5VDNGUVVrRXljRE4xWVVRd2JVNDNOMUYxUlU0eE1rOXlRVGxvVFZGNlZYVXhhVFJ1VEZCWldsRTJURVkzYzNCcFVIWnFkM2RCUFE9PTpjRm40TjE4T2ExalZsUWtldVZKNEF3PT0=
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