Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science - R Caferra - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540671909 - 9 de febrero de 2000
En caso de que portada y título no coincidan, el título será el correcto

R Caferra
Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science 2000 edition

Precio
Mex$ 971
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 6 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 title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.

304 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de febrero de 2000
ISBN13 9783540671909
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 304
Dimensiones 155 × 235 × 16 mm   ·   439 g
Lengua Francés  
Editor Caferra, Ricardo
Editor Salzer, Gernot

Mere med samme udgiver

Ver todo de R Caferra ( Ej. Paperback Book )