Decision Procedures: An Algorithmic Point of View
Language: English Publication details: Berlin:Springer-verlag; 2008Description: 304 pISBN:- 9783540741046
- 004.015
- K65
Refrence Book
| Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Refrence Book
|
UCSC Library Reference Section | UCSC Library Reference Section | Reference Collection | 004.015 K65 (Browse shelf(Opens below)) | Available | A22986 | ||
Lending Book
|
UCSC Library Lending Section | UCSC Library Lending Section | Lending Collection | 004.015 K65 (Browse shelf(Opens below)) | Available | A23033 | ||
Lending Book
|
UCSC Library Lending Section | UCSC Library Lending Section | Lending Collection | 004.015 K65 (Browse shelf(Opens below)) | Available | A23034 | ||
Lending Book
|
UCSC Library Lending Section | UCSC Library Lending Section | Lending Collection | 004.015 K65 (Browse shelf(Opens below)) | Available | A23035 | ||
Lending Book
|
UCSC Library Lending Section | UCSC Library Lending Section | Lending Collection | 004.015 K65 (Browse shelf(Opens below)) | Available | A23036 | ||
Lending Book
|
UCSC Library Lending Section | UCSC Library Lending Section | Lending Collection | 004.015 K65 (Browse shelf(Opens below)) | Available | A23037 | ||
Lending Book
|
UCSC Library Lending Section | UCSC Library Lending Section | Lending Collection | 004.015 K65 (Browse shelf(Opens below)) | Available | A22987 |
Total holds: 0
There are no comments on this title.