Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
18.3% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
The Goedel Programming Language
MIT
Hill P.
,
Lloyd J.
metadefs.name.f4
metadefs.var.f2
metadefs
metadefs.btype.f1
metadefs.base.c0
avltrees.node.f5
avltrees.null.c0
metadefs.atom.f2
metadefs.predicate.c0
avltrees.eq.c0
syntax
lists
progdefs.symbol.f2
integer
metadefs.type.f2
predicate
metadefs.constructor.c0
user:goedel_freeze
formula
substs.n.c0
integers
metadefs.term.f2
progdefs.predicatedecl.f3
module
progdefs.preddef.f4
progdefs.exported.c0
syntax.nopredind.c0
metadefs.function.c0
sharedprograms
tokens
strings
substs
progdefs.ground.f1
programs
delay
progdefs
metadefs.par.f2
progdefs.hidden.c0
error
modulename
avltrees
goal
progdefs.delay.f2
metadefs.var.f1
nonvar
goedel
avltrees.rh.c0
errorreturn
progdefs.and.f2
function
Рік:
1994
Мова:
english
Файл:
RAR, 2.26 MB
Ваші теги:
0
/
0
english, 1994
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×