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