TY - BOOK AU - Ennals,J.R. TI - Artificial intelligence : applications to logical reasoning and historical research SN - 0853128561 U1 - D/16.255 PY - 1985/// CY - Chichester PB - Ellis Horwood KW - History -- Computer assisted instruction ER -