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