Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 29 de julio de 1993
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 17 - 25 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de 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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de julio de 1993
ISBN13 9783540567325
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 248
Dimensiones 155 × 233 × 11 mm   ·   312 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de C. Fermuller ( Ej. Paperback Book )