Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642224379 - 12 de julho de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science 2011 edition

Nikolaj Bjorner

Preço
Mex$ 1.296,38

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 1 - 10 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

Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.

521 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 12 de julho de 2011
ISBN13 9783642224379
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 508
Dimensões 155 × 235 × 28 mm   ·   816 g
Idioma Francês  
Editor Bjorner, Nikolaj
Editor Sofronie-Stokkermans, Viorica
Mostrar tudo

Mais por Nikolaj Bjorner

Ver tudo de Nikolaj Bjorner ( por exemplo Paperback Book )