Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science - David Basin - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540406648 - 21 de agosto de 2003
Caso a capa e o título não sejam correspondentes, considere o título como correto

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

David Basin

Preço
Mex$ 1.045
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 3 de out

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: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.

366 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de agosto de 2003
ISBN13 9783540406648
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 366
Dimensões 155 × 233 × 20 mm   ·   535 g
Idioma German  
Editor Basin, David
Editor Wolff, Burkhart
Mostrar tudo

Mais por David Basin

Ver tudo de David Basin ( por exemplo Paperback Book e Hardcover Book )