TY  - BOOK
AU  - Nilsson, Nils J.
TI  - Principles of artificial interlligence
SN  - 81-85198-29-2
U1  - 006.3 
PY  - 1980///
CY  - New Delhi
PB  - Narosa
KW  - Rule-Based deduction systems
KW  - Search strategies
N1  - Includes bibliographical references and index
ER  -