Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies - Dov M. Gabbay - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642141584 - 8 de agosto de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Dov M. Gabbay
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies 2010 edition

Preço
€ 144,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 6 - 16 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Dov M. Gabbay

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.

386 pages, 45 black & white illustrations, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 8 de agosto de 2010
ISBN13 9783642141584
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 386
Dimensões 155 × 235 × 22 mm   ·   706 g
Idioma Alemão  

Mais por Dov M. Gabbay

Mostrar tudo

Mais da mesma editora

Ver tudo de Dov M. Gabbay