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

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

Оглавление1 Символьные вычисления более высокого порядка1.1 Обзор журнала “Higher-Order and Symbolic Computation”1.2 Редакторы журнала1.3 Индексация и реферирование1.4 Дополнительные ресурсы1.5 Доступность1.6 […]

Computer science journals, Springer Science+Business Media academic journals, Академические журналы Springer Science+Business Media, Журналы по информатике

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

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

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

  • Редакторы журнала

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

  • Индексация и реферирование

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

  • Дополнительные ресурсы

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

  • Доступность

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

  • Внешние ссылки

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

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

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

Похожие статьи:

  1. Автодидактизм Оглавление1 Самообразование1.1 Автодидактизм и самообразование1.2 Методы самообразования1.3 Терминология и парадигмы1.4 Современная эпоха и протесты1.5 Джеймс Уотт...
  2. Технологический институт Оглавление1 Технологический институт1.1 История и развитие технологических институтов1.2 Различия между технологическими и политехническими институтами1.3 Современные тенденции...
  3. Бостонские университетские терьеры Оглавление1 Бостонские университетские терьеры1.1 История и достижения Бостонского университета1.2 Спортивные достижения1.3 Культурные и научные достижения1.4 Полный...
  4. Университетский университет Оглавление1 Университетский колледж1.1 История коллегиальных университетов1.2 Типы коллегиальных университетов1.3 Развитие колледжей в Западной Европе1.4 Реформы и...
  5. Жизнь (журнал) – Википедия Оглавление1 Жизнь (журнал)1.1 История журнала Life1.2 Ранние годы и развитие1.3 Антисемитизм и политические кампании1.4 Эпоха джаза...
  6. Мичиганский университет Оглавление1 Мичиганский университет1.1 История Мичиганского университета1.2 Ранние годы (1837-1851)1.3 С 1851 по 1900 год1.4 Эрастус Отис...
  7. Sun Journal (Льюистон, Мэн) Оглавление1 Sun Journal (Льюистон, штат Мэн)1.1 История и развитие1.2 Владельцы и изменения1.3 Текущая деятельность1.4 Цены и...
  8. Роллинг Стоун Оглавление1 катящийся камень1.1 История и основание1.2 Ранние годы и развитие1.3 Переход в развлекательный журнал1.4 Расширение читательской...
  9. Жизнь (журнал) – Википедия Оглавление1 Жизнь (журнал)1.1 История журнала Life1.2 Ранние годы и развитие1.3 Эпоха Генри Люса1.4 Успех и влияние1.5...
  10. Рабочая станция SUN Оглавление1 Рабочая станция SUN1.1 История и развитие рабочей станции SUN1.2 Конфигурации и финансирование1.3 Технологии и инновации1.4...
  11. Академический журнал – Википедия Оглавление1 Академический журнал1.1 Определение и цели академических журналов1.2 История академических журналов1.3 Типы статей и рецензирование1.4 Обзорные...
  12. Эльзевир – Arc.Ask3.Ru Оглавление1 Эльзевир1.1 История и развитие1.2 Продукты и услуги1.3 Финансовые показатели1.4 Критика и проблемы1.5 Рыночная модель1.6 Платформа...
  13. Редактор структуры Оглавление1 Редактор структуры1.1 Определение и использование структурированных редакторов1.2 Гибридные инструменты и языковые редакторы1.3 Применение в различных...
  14. Язык программирования – Arc.Ask3.Ru Оглавление1 Язык программирования1.1 Определение языков программирования1.2 Реализация языков программирования1.3 История языков программирования1.4 1960-е и 1970-е годы1.5...
  15. Ида Тарбелл Оглавление1 Ида Тарбелл1.1 Ранние годы и образование1.2 Журналистская карьера1.3 Общественная деятельность1.4 Личная жизнь и феминизм1.5 Ранние...
  16. Билл Джой Оглавление1 Билл Джой1.1 Биография Уильяма Нельсона Джоя1.2 Ранние годы и образование1.3 Вклад в Sun Microsystems1.4 После...
  17. National Geographic – Arc.Ask3.Ru Оглавление1 National Geographic1.1 История и развитие1.2 Тематика и популярность1.3 Изменения и инновации1.4 Административные изменения1.5 Редакторский состав1.6...
  18. Модульный центр обработки данных Sun Оглавление1 Модульный центр обработки данных Sun1.1 Описание Sun MD1.2 Преимущества Sun MD1.3 История проекта1.4 Технические характеристики1.5...
  19. Даремский университет Оглавление1 Даремский университет1.1 История и основание1.2 Структура и членство1.3 Академические достижения1.4 Статистика и достижения1.5 Развитие и...
  20. Pacific Sun (газета) Оглавление1 Pacific Sun (газета)1.1 История и развитие Pacific Sun1.2 Достижения и награды1.3 Текущее состояние2 Pacific Sun...
  21. Java (программная платформа) Оглавление1 Java (программная платформа)1.1 История и развитие Java1.2 Разработка и лицензирование1.3 Популярность и влияние1.4 Поддержка и...
  22. Анархизм в США Оглавление1 Анархизм в Соединенных Штатах1.1 История анархизма в США1.2 Современный анархизм1.3 Протесты и акции1.4 Значимые события1.5...

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

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