Contacto
Cómo comprar
Entrega
Guía de compras
Automated Model Building
Inglés
414 b
Hasta 30 días para devoluciones
Clientes que también han comprado
/
Tapa blanda
31.09
€
/
Tapa blanda
95.29
€
/
Tapa blanda
30.69
€
/
Tapa blanda
42.41
€
/
Tapa blanda
22.79
€
This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. §The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence. It can also be used as a textbook in advanced undergraduate courses.
Sobre el libro
Inglés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa dura
301.69
€
/
Tapa blanda
31.80
€
/
Tapa dura
47.49
€
/
DVD
22.79
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?