Rippling: Meta-level guidance for mathematical reasoning/ Alan Bundy ... [et all.]

Contributor(s): Bundy, Alan Basin, David Hutter, Dieter Ireland, AndrewSeries: 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Copy number Status Date due Barcode Item holds
LIBRO - MATERIAL GENERAL 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.

to post a comment.