Лаборатория основ информатики - Laboratory for Foundations of Computer Science
Лаборатория Основы информатики (СЛС) является научно - исследовательским институтом в школе информатики в Университете Эдинбурга , в Шотландии . Он был основан в 1987 году и представляет собой сообщество теоретиков информатики, интересующихся параллелизмом , семантикой , категориями , алгеброй , типами , логикой , алгоритмами , сложностью , базами данных и моделированием.
использованная литература
внешние ссылки
Координаты : 55 ° 55′16,5 ″ с.ш., 3 ° 10′25 ″ з.д. / 55,921250 ° с. Ш. 3,17361 ° з.
 |
Это статьи , касающиеся образования в Шотландии является заглушкой . Вы можете помочь Википедии, расширив ее . |
 |
Эта статья об организации в Шотландии - незавершенная . Вы можете помочь Википедии, расширив ее . |
 |
Эта статья об университете, колледже или другом учебном заведении Соединенного Королевства является незавершенной . Вы можете помочь Википедии, расширив ее . |