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