13425
14151
Chandru, Vijay
3591-
Optimization methods for logical inference
New York
Wiley
c1999
xi, 365p
Wiley-Interscience series in discerte mathematics and optimization
"A Wiley-Interscience publication"
Bibliography: p. 333-357
Includes index
Vijay Chandru, John Hooker
، Combinatorial optimization
، Logic, Symbolic and mathematical
QA
402
.
5
.
C447
1999
AU
AU Hooker, John 1944-
TI
SE
CL
CL
