000 00300nam a22001217a 4500
999 _c151627
_d151627
082 _a006.3
_bLAR/
100 _aLarry Wos
245 _aAutomated reasonning:
_bbasic research problems/
_cby Larry Wos.
260 _aNew Jersey:
_bPrentice-Hall,
_c1988.
300 _a319p.
650 _a
942 _cBK