عنوان
پدید آورنده
موضوع
رده
QA 402 .5 .C447 1999
QA
402
.
5
.
C447
1999
کتابخانه
محل استقرار
Optimization methods for logical inference
New York
Wiley
c1999
xi, 365 p. ; 24 cm.
Wiley-Interscience series in discrete mathematics and optimization
"A Wiley-Interscience publication."
Includes bibliographical references )p. 333-357( and index
Vijay Chandru, John Hooker
، Combinatorial optimization
، Logic, Symbolic and mathematical
519
.
3
QA
402
.
5
.
C447
1999
3591-
Chandru, Vijay
AU
AU Hooker, John 1949-
TI
SE
