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
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 25 de jun

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 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 )