Bundy, Alan

The computer modelling of mathematical reasoning / Alan Bundy.- - London : Academic Press, 1983. - xv, 403 p.

0121413520


Artificial intelligence

Q335 / B85