Handbook of automated reasoning / editors, Alan Robinson and Andrei Voronkov
-
| | | | | Handbook of automated reasoning. - Amsterdam. - New York. - Cambridge, Mass. , 2001. |
| | 2 v. (2122 p.) : ill. ; 25 cm. | | ISBN 0262182211 (MIT Press, v. 1 : alk. paper) | | .-ISBN 026218222X (MIT Press, v. 2 : alk. paper) | | .-ISBN 0262182238 (MIT Press, set of vol 1 + 2 : alk. paper) | | .-ISBN 0444829490 (Elsevier Science, v. 1 : alk. paper | | .-ISBN 0444508120 (Elsevier Science, v. 2 : alk. paper) | | .-ISBN 0444508139 (Elsevier Science, set of v. 1 + 2 : alk. paper). | | | | 1. Qualitative reasoning 2. Automatic theorem proving.I. Robinson, J. A. II. Voronkov, A.,1959- III. Title | | | Library : UiTM Shah Alam |
| | Accn No. | Item Status | Add Id | Location | SMD | Item Category | | 574410 | Shelf | | PERPUSTAKAAN KEJURUTERAAN TAR(P3) | BOOK | RAK TERBUKA (OPEN SHELVES) | | 574411 | Shelf | | PERPUSTAKAAN KEJURUTERAAN TAR(P3) | BOOK | RAK TERBUKA (OPEN SHELVES) | | 580353 | Reference | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | ruj | | 580354 | Reference | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | ruj |
|
|
|
