5897DEMOSTRACION AUTOMATICA DE TEOREMASPTes-ESTESAURO DE MATERIAS DE SERBIULA active approved DEMOSTRACION AUTOMATICA DE TEOREMASDEMOSTRACION AUTOMATICA DE TEOREMAS2015-02-20 04:48:58BT3251INTELIGENCIA ARTIFICIALPTBT33267TEORIA DE PRUEBAPT