Logic for Applications - Texts in Computer Science - Anil Nerode - Libros - Springer-Verlag New York Inc. - 9780387948935 - 17 de enero de 1997
En caso de que portada y título no coincidan, el título será el correcto

Anil Nerode
Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

Precio
€ 129,49

Pedido desde almacén remoto

Entrega prevista 12 - 20 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

También disponible como:

Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.

476 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 17 de enero de 1997
ISBN13 9780387948935
Editores Springer-Verlag New York Inc.
Páginas 476
Dimensiones 156 × 234 × 26 mm   ·   816 g
Lengua Inglés   Francés  

Mas por Anil Nerode

Mostrar todo

Ver todo de Anil Nerode ( Ej. Paperback Book y Hardcover Book )