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

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

Preço
$ 55,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 31 de jul - 6 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

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

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 German  
Editor Voronkov, Andrei
Mostrar tudo

Mais por Andrei Voronkov

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