Name: Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
Price: 223800.00 COP
Availability: InStock
Author: Allan Ramsay
ISBN: 9780521424219

portada Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Allan Ramsay

Año

1991

Idioma

Inglés

N° páginas

292

Encuadernación

Tapa Blanda

ISBN

0521424216

ISBN13

9780521424219

Categorías

Inteligencia artificial

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Allan Ramsay (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 18 a 24 días háb.

$ 447.600$ 223.800

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 223.800

¡Envío Gratis! Llega entre el 12 Ago y el 24 Ago a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book 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. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.