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