SAT 2000 highlights of satisfiability research in the year 2000 Lan Gant
Material type:
- 01586 03 06
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Library and Documentation Division | 005.743 Sa81 (Browse shelf(Opens below)) | Available | 048996 |
There are no comments on this title.