Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540569442 - 29 de junho de 1993
Caso a capa e o título não sejam correspondentes, considere o título como correto

Andrei Voronkov
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science

Preço
R$ 319,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 7 de jan de 2026
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

This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.

408 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de junho de 1993
ISBN13 9783540569442
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 408
Dimensões 155 × 233 × 21 mm   ·   576 g
Idioma Alemão  
Editor Voronkov, Andrei

Mais por Andrei Voronkov

Mostrar tudo

Ver tudo de Andrei Voronkov ( por exemplo Paperback Book e Hardcover Book )