000			004120000a22001570004500
245			_aAutomated reasoning : introduction and applications
100			_aWos, Larry ...[et al.]
260			_aEnglewood Cliffs _bPrentice-Hall _c1984
300			_axiv, 482p.
500			_aIndex included
020			_a0130544531
080			_a004.83 _bA8
650			_aARTIFICIAL INTELLIGENCE
041			_aEN
942			_cBK
999			_c41519 _d41519