Logic for Applications - Texts in Computer Science - Anil Nerode - Livros - Springer-Verlag New York Inc. - 9780387948935 - 17 de janeiro de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

Anil Nerode

Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

Preço
₩ 222.282

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 1 - 9 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

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

Também disponível como:

Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.

476 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 17 de janeiro de 1997
ISBN13 9780387948935
Editoras Springer-Verlag New York Inc.
Páginas 476
Dimensões 156 × 234 × 26 mm   ·   816 g
Idioma Inglês   Francês  
Mostrar tudo

Mais por Anil Nerode

Ver tudo de Anil Nerode ( por exemplo Paperback Book e Hardcover Book )