000			00677naa0a22001690004500
001			88501
005			20200804115010.0
090			_a88501
100			_a19940615d1984 k y0pory5003 ba
101	0		_aeng
102			_aUS
200	1		_aA logic interpreter to handle time and negation in logic data bases _fJosé Carlos Ferreira Maia Neves
463			_aThe Fifth Generation Challenge : proceedings of the 1984 Annual Conference of the Association for Computing Machinery. - New York : ACM, 1984 _vp. 50-53
675			_a681.3 _vmed _zpor
700		1	_aNeves, _bJosé
942			_cLIVRO _n0