000			01407nam a22003134a 4500
999			_c1175 _d1175
001			0000035898
003			OSt
005			20191031182526.0
008			010326s2003 sp a fr 001 0 spa d
020			_a8497321820
040			_aCO-ViCUM _bspa _cUnimeta
041			_aspa
043			_asp
082	0	4	_a005.131 P19l _22003
100	1		_aPaniagua Arís, Enrique./ Juan Luis Sanchez Gonzales/ Fernando Martin Rubio
245	1	0	_aLógica computacional / _cEnrique Paniagua Arís; Juan Luis Sánchez González; Fernando Martín Rubio.
260			_aMadrid : _bThomson, _c2003.
300			_a205 p _c24 cm.
440			_alógica computacional
504			_aIncluye bibliografía, glosario e índice analítico.
505	0		_aLa sintaxis de la lógica.-- La semántica de la lógica.-- Método axiomático.-- Método interpretativo.-- La demostración automática de teoremas.-- Los agentes
520			_aEl primer paso hacia la inteligencia artificial,desde el desarrollo de la lógica fue dado por aristoteles(384-322a.C) cuando comenzó a explicar y a codificar ciertos estilos de razonamiento deductivo que él llamo silogismos.
650	0	4	_aC++ (Lenguaje de programación para computadores)
650	0	4	_aProgramación orientada a objetos (Computación)
700	1		_aMartín Rubio, Fernando, _eed.
700	1		_aSánchez González, Juan Luis, _eed.
908			_a160309
942			_2ddc _cBK