The computer modelling of mathematical reasoning
Alan Bundy.
1a. ed.
London : Academic Press, 1983.
xiv, 322 págs. : ilustraciones ; 23 cm.
ISBN: 0121412504
Controladores lógicos y autómatas programables Contiene índices de contenido y alfabético. El nivel es intermedio y está pensado para personas con conocimientos básicos de matemáticas, lógica y estadística. Trata acerca de los teoremas que conducen a la Inteligencia Artificial. Alan Bundy fue uno de los 41 profesores seleccionados en todo el mundo para recibir uno de los premios de investigación de innovación de Hewlett Packard Labs 2008, también fue nombrado por el CBE en los honores de Año Nuevo de 2012 por sus servicios a la ciencia de la computación y elegido miembro de la Royal Society (FRS) en 2012.
El ejemplar esta escrito en idioma inglés.