Decision procedures : an algorithmic point of view
Material type: TextPublication details: Springer-Verlag 2008 Description: 304Subject(s): Decision making -- Mathematical models | Algorithms | Logic, Symbolic and mathematicalItem type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 005.1 KRO(DEC) (Browse shelf(Opens below)) | 1 | Available | 5974 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | |||||
005.1 KNU(SEL) Selected papers on design of algorithms | 005.1 KOU(COR) The Correctness-by-Construction approach to programming | 005.1 KRA(STA) Statistical mechanics : algorithms and computations | 005.1 KRO(DEC) Decision procedures : an algorithmic point of view | 005.1 KUN(ART) V.1 The art of computer programming : fundamental algorithms | 005.1 LAV(PLA) Planning algorithms | 005.1 LEI(PRO) A programmer’s companion to algorithm analysis |
SAR/156/2008/19-03-09
There are no comments on this title.