Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science - Ramsay, Allan M. (University College Dublin) - Libros - Cambridge University Press - 9780521424219 - 26 de julio de 1991
En caso de que portada y título no coincidan, el título será el correcto

Ramsay, Allan M. (University College Dublin)
Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science

Precio
$ 61,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 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

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.

292 pages, index, bibliography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de julio de 1991
ISBN13 9780521424219
Editores Cambridge University Press
Páginas 292
Dimensiones 170 × 244 × 15 mm   ·   470 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Ramsay, Allan M. (University College Dublin) ( Ej. Paperback Book )