Principles of artificial intelligence - Nilsson Nils, J; Nilsson Nils, J (New Delhi Narosa publishing house, 1980)
Include bibliographical references 430-465p; Index 467-476p
Keywords: Computer deduction system; Computer language; Computer plan generarting system; Computer Refutation system; Computer Science