Labelled Deductive Systems: Volume 1 - Oxford Logic Guides - Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) - Libros - Oxford University Press - 9780198538332 - 5 de septiembre de 1996
En caso de que portada y título no coincidan, el título será el correcto

Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London)
Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

Precio
$ 134,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 7 de jul.

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 book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

510 pages, line figures

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 5 de septiembre de 1996
ISBN13 9780198538332
Editores Oxford University Press
Páginas 510
Dimensiones 161 × 240 × 33 mm   ·   870 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) ( Ej. Hardcover Book )