Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science - P Clote - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540678953 - 9 de agosto de 2000
Caso a capa e o título não sejam correspondentes, considere o título como correto

Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

P Clote

Preço
€ 114,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 12 - 21 de mai

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

Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

The papers cover: automated deduction; theorem proving; categorical logic; term rewriting; finite model theory; higher order logic; lambda and combinatory calculi; computational complexity; logic programing; constraints; linear logic; modal logic; temporal logic; and many others topics.

550 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de agosto de 2000
ISBN13 9783540678953
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 550
Dimensões 156 × 234 × 29 mm   ·   1,29 kg
Editor Clote, Peter
Editor Schwichtenberg, Helmut

Ver tudo de P Clote ( por exemplo Paperback Book )