../ Граматики, сложност и изчислимост/ 12-Apr-2018 18:35 - Дескриптивни логики/ 12-Apr-2018 18:35 - Ламбда смятане и теория на доказателствата/ 12-Apr-2018 18:35 - Практикум по формален подход в компютърната лин..> 12-Apr-2018 18:35 - Приложения на крайните автомати/ 12-Apr-2018 18:35 -