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 problems...

Full description

Saved in:
Bibliographic Details
Main Author: Chandru, Vijay, 1953-
Other Authors: Hooker, John, 1949-
Format: Electronic eBook
Language:English
Published: New York : Wiley, ©1999.
Series:Wiley-Interscience series in discrete mathematics and optimization.
Subjects:
Online Access:CONNECT

Similar Items