Optimization methods for logical inference

Vijay Chandru, John Hooker
Bok · Engelsk · 1999 V. Chandru

Utgitt	New York : Wiley , c1999
Omfang	xi, 365 s. : fig.
Opplysninger	"A Wiley-Interscience publication."
Emner	Combinatorial optimization Logic, Symbolic and mathematical
ISBN	0471570354