TY  - GEN
AU  - Kanal, Laveen
AU  - Kumar, Vipin
TI  - Search in artificial intelligence
T2  - Symbolic computation - artificial intelligence
SN  - 0387967508
U1  - 006.3 
PY  - 1988///
CY  - New York
PB  - Springer-Verlag
KW  - COMPUTER SCIENCE
KW  - EXPERT SYSTEMS
ER  -