Biblioteca Allievi della Scuola Superiore di Catania
Handbook of automated reasoning : v. 1 /
by Robinson, J. A. (John Alan) [edt]; Voronkov, Andrei [edt].
Material type:
BookPublisher: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, c2001Description: v. 1 of 2 (xxv, 2122 p.) : ill. ; 25 cm.ISBN: 0262182211 (MIT Press, v. 1 : alk. paper); 026218222X (MIT Press, v. 2 : alk. paper); 0262182238 (MIT Press, set of vol 1 + 2 : alk. paper); 0444829490 (Elsevier Science, v. 1 : alk. paper; 0444508120 (Elsevier Science, v. 2 : alk. paper); 0444508139 (Elsevier Science, set of v. 1 + 2 : alk. paper).Subject(s): Automatic theorem proving | Qualitative reasoning
| Location | Call number | Status | Date due |
|---|---|---|---|
| 005.131 R6582 v1 (Browse shelf) | Checked out | 27/11/2020 |
Browsing Biblioteca Allievi Shelves Close shelf browser
|
|
|
No cover image available | No cover image available |
|
|
||
| 005.1 P9459 Differential evolution : | 005.117 G193 Design patterns : | 005.117 K766 Programming in Objective-C / | 005.131 R6582 v1 Handbook of automated reasoning : | 005.131 R6582 v2 Handbook of automated reasoning : | 005.133 C0 S3342 La guida completa C / | 005.133 Chash M3677 Programming Microsoft Visual C# 2005: |
Includes bibliographical references and index.