23911Lingüística matemáticaPT2014-09-15 20:14:14BT23910LingüísticaPTRT23912Lingüística computacionalPTRT10183Formalización (Lingüística)PT