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