Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science - Anil Nerode - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540581406 - 8 de junho de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science

Anil Nerode

Preço
SEK 559

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 25 de nov
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

Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science

This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.

408 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de junho de 1994
ISBN13 9783540581406
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 408
Dimensões 216 × 279 × 21 mm   ·   576 g
Idioma German  
Editor Matiyasevich, Yuri
Mostrar tudo

Mais por Anil Nerode

Ver tudo de Anil Nerode ( por exemplo Paperback Book e Hardcover Book )