Refine your search
Availability
-
Bibliographic level
- Книги (4)
-
Authors
-
Locations
- Книгохранилище (2)
- Абонемент. Депозитарий (1)
-
Item types
- Выдается в читальный зал (2)
- 6 месяцев (1)
-
Topics
- каррирование (4)
- комбинаторная логика (2)
- рекурсия (2)
- структуры данных (2)
- 3d (1)
- EURICA (1)
- Haskell (1)
- asp (1)
- haskell (1)
- mpi (1)
- rss (1)
- xml (1)
- Генцена L-система (1)
- Интернет-ресурсы (1)
- Карри парадокс (1)
- Лисп (1)
- Пролог (1)
- Черса-Россера теорема (1)
- абстракция в программировании (1)
- агрегации в программировании (1)
- аппликативная структура (1)
- арифметика точная (1)
- асинхронное (1)
- бинарные отношения (1)
- веб (1)
- визуализация (1)
- встроенные предикаты (1)
- выражения аппликативного языка (1)
- вычисления аппликативные (1)
- вычисления в декартово замкнутой категории (1)
- вычисления в категории (1)
- вычисления с объектами (1)
- вычислительные системы (1)
- генценовские системы (1)
- графика (1)
- данные (1)
- двумерная (1)
- дедукция натуральная (1)
- дерево (1)
- дескрипции (1)
- дескрипции в программировании (1)
- доказательство свойств программ (1)
- задачи искусственного интеллекта (1)
- имена в программировании (1)
- императивное (1)
- интенсиональные операторы (1)
- интенсиональные отношения (1)
- интерфейс (1)
- информатика (1)
- истинностные значения (1)
- Show more
- Show less
-
Places
- ЭБС Лань (2)