Theory and Applicatons of Satisfiability Testing SAT2008
by Hans kleine Buning xishun zhao
Published by : Springer (Germany)
Subject(s):
Mathmatics Statistics
Year: 2008
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Available | 98071 | |||
Books | University of Sargodha-Central Library General Stacks | 511.32but (Browse shelf) | Available |
There are no comments for this item.