• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • русский 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Войти
Просмотр элемента 
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.

Математическая логика в программировании. Сборник

Thumbnail
Открыть
6f9476098a3febfca3a46888f0ca0e39.djvu (7.282Mb)
Дата
1991
Автор
Захарьящев М.В., Янов Ю.И. (ред)
Metadata
Показать полную информацию
Аннотации
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
URI
http://ir.nmu.org.ua/handle/GenofondUA/50646
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV
 

 

Просмотр

Весь DSpaceСообщества и коллекцииДата публикацииАвторыНазванияТематикаЭта коллекцияДата публикацииАвторыНазванияТематика

Моя учетная запись

ВойтиРегистрация

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV