Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science - Klaus Schneider - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540745907 - 28 de agosto de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Klaus Schneider

Preço
R$ 405,87

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 13 - 22 de ago

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

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.

404 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 28 de agosto de 2007
ISBN13 9783540745907
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 404
Dimensões 155 × 235 × 21 mm   ·   625 g
Editor Brandt, Jens
Editor Schneider, Klaus
Mostrar tudo

Mais por Klaus Schneider

Ver tudo de Klaus Schneider ( por exemplo Paperback Book , Hardcover Book e 12" )