Вычисления высшего порядка и символьные вычисления

Символьные вычисления более высокого порядка Обзор журнала «Higher-Order and Symbolic Computation» Журнал посвящен концепциям и абстракциям программирования, теории языков программирования.  […]

Символьные вычисления более высокого порядка

  • Обзор журнала «Higher-Order and Symbolic Computation»

    • Журнал посвящен концепциям и абстракциям программирования, теории языков программирования. 
    • Последний выпуск вышел в 2013 году. 
  • Редакторы журнала

    • Ричард П. Габриэль, Sun Microsystems, США (1988-1991). 
    • Гай Л. Стил-младший, Sun Microsystems, США (1988-1991). 
    • Роберт Р. Кесслер, Университет штата Юта, США (1991-1998). 
    • Оливье Данви, Орхусский университет, и Кэролин Талкотт, SRI International, последние главные редакторы. 
  • Индексация и реферирование

    • Журнал индексируется в различных базах данных, включая Academic OneFile, ACM Computing Reviews и Scopus. 
  • Дополнительные ресурсы

    • Ссылки на другие журналы в области функционального программирования и символьных вычислений. 
  • Доступность

    • Онлайн-доступ к журналу и его архивам. 
  • Внешние ссылки

    • Официальный веб-сайт и страницы журнала в Орхусском университете. 
    • Ссылки на библиографические коллекции по информатике. 

Полный текст статьи:

Вычисления высшего порядка и символьные вычисления — Википедия

Оставьте комментарий

Прокрутить вверх