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...
Saved in:
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
-
Combinatorial optimization : algorithms and complexity /
by: Papadimitriou, Christos H.
Published: (1998) -
Combinatorial optimization /
Published: (1979) -
Integer and combinatorial optimization /
by: Nemhauser, George L.
Published: (1988) -
Integer and combinatorial optimization /
by: Nemhauser, George L.
Published: (1988) -
Applications of combinatorial optimization /
Published: (2014)