Cargando…

Optimization methods for logical inference

Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problem...

Descripción completa

Detalles Bibliográficos
Autores principales: Chandru, Vijay, Hooker, John
Lenguaje:eng
Publicado: Wiley 2011
Materias:
Acceso en línea:http://cds.cern.ch/record/2018627

Ejemplares similares