Набиране на средства 15 септември 2024 – 1 октомври 2024
Относно набирането на средства
търсене на книга
книги
Набиране на средства:
55.9% събрани
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Turing Machines and Differential Linear Logic [thesis]
University of Melbourne
James Clift
binta
boola
linear
α1
turing
iγ
jπk
binary
binta3
ϕ
proofs
integers
map
jδ
function
tura
boola3
js0
js1
proposition
coalgebra
formula
integer
define
denotation
jπ
β1
α2
α3
αs
π1
σ0
polynomial
jbk
jqk
jsk
transition
αi
σ1
encoding
vector
jπ1
machines
stepa
lemma
σk
coalgebras
ctr
step
transa
Година:
2017
Език:
english
Файл:
PDF, 515 KB
Вашите тагове:
0
/
0
english, 2017
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×