Rippling: Meta-level guidance for mathematical reasoning/
Alan Bundy ... [et all.]
- New York: Oxford University Press 2005
- 202 p.
- Cambridge Tracs in Theoretical Computer Science No. 56 .
Incluye bibliografía e índice p. 193
052183449X
INTELIGENCIA ARTIFICIAL
LOGICA MATEMATICA
006.3 / R466
Incluye bibliografía e índice p. 193
052183449X
INTELIGENCIA ARTIFICIAL
LOGICA MATEMATICA
006.3 / R466