kitab axtarışı
kitablar
Dəstək ol
Giriş
Giriş
Avtorizasiyadan keçmiş istifadəçilər üçün aşağıdakılar mövcuddur:
fərdi tövsiyələr
Telegram botu
yükləmə tarixçəsi
Email-a və ya Kindle-a göndərmək
seçimin idarə edilməsi
seçilmişlərə əlavə edilməsi
Şəxsi
Kitab sorğuları
Öyrənməsi
Z-Recommend
Kitab siyahısı
Ən məşhurları
Kateqoriyalar
İştirak
Dəstək ol
Yükləmələr
Litera Library
Kağız kitabları iadə edin
Kağız kitabları əlavə edin
Search paper books
Mənim LITERA Point'um
Açar sözlərin axtarışı
Main
Açar sözlərin axtarışı
search
1
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Springer-Verlag Berlin Heidelberg
Valeria de Paiva
,
Ruy de Queiroz
,
Lawrence S. Moss
,
Daniel Leivant
,
Anjolina G. de Oliveira (eds.)
ϕ
theorem
lemma
formula
iff
modal
function
proposition
definition
calculus
define
first
defined
automata
ϕ1
lambek
assume
models
exists
automaton
springer
finite
functions
consider
logics
moreover
ϕ2
prove
resource
polynomial
category
cymll
generated
epistemic
ial
monotonic
formulas
fixed
computable
equational
quandle
topological
induction
ramsey
sect
denote
sets
linear
suppose
continuous
İl:
2015
Dil:
english
Fayl:
PDF, 4.93 MB
Sizin teqləriniz:
0
/
0
english, 2015
2
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Springer-Verlag Berlin Heidelberg
Valeria de Paiva
,
Ruy de Queiroz
,
Lawrence S. Moss
,
Daniel Leivant
,
Anjolina G. de Oliveira (eds.)
ϕ
theorem
lemma
formula
iff
modal
function
proposition
definition
calculus
define
first
defined
automata
ϕ1
lambek
assume
models
exists
automaton
springer
finite
functions
consider
logics
moreover
ϕ2
prove
resource
polynomial
category
cymll
generated
epistemic
ial
monotonic
formulas
fixed
computable
equational
quandle
topological
induction
ramsey
sect
denote
sets
linear
suppose
continuous
İl:
2015
Dil:
english
Fayl:
PDF, 4.86 MB
Sizin teqləriniz:
0
/
0
english, 2015
1
bu linkə
keçid edin və ya Telegramda "@BotFather" botunu axtarın
2
/newbot komandanı göndərin
3
Botunuzun adını qeyd edin
4
Bot üçün istifadəçi adını qeyd edin
5
BotFather-dən gələn son mesajını kopyalayıb bura daxil edin
×
×