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