[Ouvrage]
Implementing mathematics with the nuprl proof development system
/ Secondaire Constable, R. L. ; Secondaire Allen, S. F. ; Secondaire Bromley, H.M. ; Secondaire Cleavland, W.R..
-Englewood Cliffs, N.J. : Inc.;Prentice Hall, 1986. - 299 p.
ISBN 978-0-13-451832-9
[Ouvrage]
The mathematics of inheritance systems
/ Principal Touretzky, David S..
-California, London, Los Altos : Morgan Kaufmann Publisher Inc.;Pitman, 1985. - 431 p.
ISBN 978-0-273-08765-6
[Ouvrage]
Artificial intelligence
/ Principal Rich, Elaine.
-Auckland, London, Paris : Mcgraw-Hill International Book Co., 1983. - 436 p.
ISBN 978-0-07-052261-9