Automated model building / by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
Material type:
TextSeries: Applied logic series v. 31Publication details: Dordrecht ; London : Kluwer Academic, 2004.Description: xi, 341 p. : ill. ; 25 cmISBN: - 1402026528
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
|
|
UMPLIB PEKAN | QA76.9.A96 C34 2004 (Browse shelf(Opens below)) | 1 | Available | 0000016248 |
Includes bibliographical references (p. 327-341).