Rippling: Meta-level guidance for mathematical reasoning/ Alan Bundy ... [et all.]
Contributor(s): Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew
Series: Cambridge Tracs in Theoretical Computer Science No. 56Publisher: New York: Oxford University Press 2005Description: 202 pISBN: 052183449XSubject(s): INTELIGENCIA ARTIFICIAL | LOGICA MATEMATICADDC classification: 006.3
| Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL
|
Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 006.3 R466 (Browse shelf) | Ej. 1 | 1 | Available | 017600 |
Total holds: 0
Incluye bibliografía e índice p. 193
There are no comments on this title.