logiccomputer scienceMartins, Ana TeresaMartins, Ana Teresaana teresa martins