Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science - Peter Baumgartner - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540655091 - 18 de diciembre de 1998
En caso de que portada y título no coincidan, el título será el correcto

Peter Baumgartner
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science 1998 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 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

Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems.

290 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de diciembre de 1998
ISBN13 9783540655091
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 290
Dimensiones 155 × 235 × 15 mm   ·   421 g
Lengua Inglés  

Mas por Peter Baumgartner

Mostrar todo

Mere med samme udgiver

Ver todo de Peter Baumgartner ( Ej. Paperback Book , Book y CD )