000			00687nam a2200241Ia 4500
003			OSt
005			20220912144951.0
006			a|||||r|||| 00| 0
007			ta
008			220909b |||||||| |||| 00| 0 eng d
024			_a72835
037			_cTextual
040			_aCSL _beng _cCSL
041			_aeng
082			_aD65,8(B), L35
100			_aGreen Claude Cordell
245		0	_aApplications of theorem providing to question-answering systems
260			_aMichigan _bManagement Information Services _c1973
300			_avii, 165p. _ccm.
650			_aComputer science
942			_hD65,8(B), L35 _cTEXL _2CC
999			_c19770 _d19770