пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Solutions for Computational Semantics with Functional Programming
CUP
van Eijck J.
,
Unger C.
λk
λx
bool
false
import
guess
λn
admire
elem
solutions
exercises
λm
function
integer
module
putstrln
valuation
alteval
assume
depth
dominates
expresses
infinite
column
map
recursive
row
wizard
command
dwarf
finite
helped
opsnr
propnames
rˇ
transitive
admired
check
colours
delete
goldilocks
sunk
yrxy
cnj
entities
formula
jeveryonek
jsomeonek
listeq
princess
Рік:
2010
Мова:
english
Файл:
PDF, 171 KB
Ваші теги:
0
/
0
english, 2010
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×