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