adicionar à lista de desejos
Formal Methods In Artificial Intelligence
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, julho de 1991 ‧
ver detalhes do produto
58,13€
10% DESCONTO
CARTÃO
TmtWUVVUaDRXVGxMTlc5MGRHcElUMVIwVm5wWVlUWmpXV05SUjJ4MVkyeDZUelpGYjJGUlVYTkZiV3R0TkdoU05WTXlVU3R1ZFhBM1RFRjVTM2xUUW5reFMxaFdabTlZTDA4eVduVXhPRVpHYmpWdE1XSkNkMVoxUlVSUWExVnRaMU52WnpCT2MxZzFhRGRHV1hSM0swbzVhMHBRVld0dVJqUlZOa2xtWTNVMWFIaEdiSEoxTDFoSlFYcEZjRmhLZWpoS2JuWlFkVEZpVDFsWFl6bERPVU51VEZZdlVUQnRlSEJNY1hrMFREbDRUMjV6VWxSbE9FTnpOa2hpTUU5b2FGTjNValV5YVhSVmNrVXpNbVJUUTJKT1JXcFNaRVk1Y1RkaVp6RTFNSGRVVjAxQlUyczBTRFZ5ZFRoU2VGZFBjMVZ1UkdKVlkwSlpPQ3RsTUNzMFdGZFNVbWg1T1RaVmRHOTBlRU5wY0dGR1NrWk5TaTk2Tm05eVNVaG9kRVJEVTJOU05IWnJZa05wUzFVMFdUQmhhblpWYkVGRVFrbDZUWGcwV1RFelRrUjJlbWcyTkZoNFFYTmtORGh2YkdGRU9VSnFUbWhtUVd4aFl5OVhOMFp2TDFoblpsZzNTa00zTkZRM016ZGhTMjB5YmtOck5sbE9WMDAwVjFRNVl6ZHFaVEJLZEdWV1NFTnZhVTVDTnpVMFNrMXdVV1I2TUdodFZGQmhaa0V2WkhCNGMxZHdVRVZxVDBGMGR6Uk1MM1JvYlRKb1ZFOUdTbUZuZVZjM1dEQkRkWGc1SzBKNFRWbHdWRTFHSzFKM1QwOWhZVUZKU2paTVZUQlhWV05zVURsUFNtTm5OM0JrYzBweFVVTmpXWGt4UjFSMUwzcFFhbXhzYmtSa2FEVjVRMlp3Y21WRU5XNTBWR3g1WTFaeVVtRjVRV3hwWTFCalZ6RnlaRFU1V1hRMk16UlpUV2QzUW1Wb01XNDJXa1p2ZDNsWlVtODNNRVJWU1VwcU9EVlpiVXhJUTI5YU9VSkpiU3N5TW1nd2RVZHpaek5IVjNOU2JucHdSekZ5V1ZKTlNXbzVUMGhTWVc5R05FOVJaWEpHV0Nzck56RnZUVkozWlZKalRXOTNhR3hZY0RGamNVRmlUVTUyU2pGdFRIaFpTVGhRUkRWUmJsRjJia0UxY1c1UlkwVndZVzVFV0ZoRFQyeFdja3hHYTJOTE5YZDJXVnByZFV0SWVUSTFlRVJoWVZwSFRHWktUWFUzZW1ZNVNHVlVSVFJKZFhSRE9VRmpVMjlZY21NeVJIRldhV2N5T1ZSYU5HdEtPWHBqYWtSTk5YSXJOWEpOVEdncmFrUnViRkZZZVZrNE5FTlVNelJXVFhkVFJYcERNRm8xZEcxSVRDdFpWR2RSVTBkSFZqRjZNRFpFT1hKdGJqZFVPRzV4U3paQ1ozTXhTRTVMWW01bFJFbHBPVU4yZFRoT1VRPT06NDJZcnVKbTFtdnRJWmRkOG1yZXRmdz09
portes grátis
Venda o seu livro
SINOPSE
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780521424219 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | julho de 1991 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 292 |
| Tipo de produto: | Livro |
| Coleção: | Cambridge Tracts In Theoretical Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9780521424219 |
LIVROS DA MESMA COLEÇÃO
-
Initial Algebras And Terminal Coalgebras10%CAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
Topological Duality For Distributive Lattices10%CAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis