Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 29 de julho de 1993
Caso a capa e o título não sejam correspondentes, considere o título como correto

C. Fermuller
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 14 - 20 de jul

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

Ainda não avaliado

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia) and Vienna (Austria). Among the topics covered are: semantic clash resolution as decision procedure; completeness of ordering refinements; and a resolution based method for building finite models.

248 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de julho de 1993
ISBN13 9783540567325
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 248
Dimensões 155 × 233 × 11 mm   ·   312 g
Idioma Inglês  

Mere med samme udgiver

Ver tudo de C. Fermuller ( por exemplo Paperback Book )