Donaciones 15 de septiembre 2024 – 1 de octubre 2024
Acerca de la recaudación de fondos
buscar libros
libros
Donaciones:
71.1% alcanzado
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
Atlantis Press
Fabio Mogavero
ϕ
ϕ1
formula
ϕ2
path
paths
π1
π2
pth
formulas
resp
ctl
w.r.t
gctl
degree
logics
satisfiability
mctl
ψ1
automata
moreover
node
temporal
consider
theorem
strategy
xψ
ψ2
checking
graded
automaton
function
quantification
equivalent
quantifiers
item
finite
lst
satisfy
infinite
computation
labeled
prove
unwinding
satellite
reasoning
existential
trk
alternating
exists
Año:
2013
Idioma:
english
Archivo:
PDF, 4.11 MB
Sus etiquetas:
0
/
0
english, 2013
2
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
Atlantis Press
Fabio Mogavero (auth.)
ϕ
ϕ1
formula
ϕ2
path
paths
π1
π2
pth
formulas
resp
ctl
w.r.t
gctl
degree
logics
satisfiability
mctl
ψ1
automata
moreover
node
temporal
consider
theorem
strategy
xψ
ψ2
checking
graded
automaton
function
quantification
equivalent
quantifiers
item
finite
lst
satisfy
infinite
computation
labeled
prove
unwinding
satellite
reasoning
existential
trk
alternating
exists
Año:
2013
Idioma:
english
Archivo:
PDF, 1.93 MB
Sus etiquetas:
0
/
0
english, 2013
3
The Arian period and its conditions and The cult of the Genii in ancient Eran: Two essays,
Maneckji Burjorji Minocherhomji
Eugen Wilhelm
fravashis
genius
spiegel
eft
fcx
period
genii
signification
ukert
worship
aft
avesta
ctl
cult
demons
cml
eranians
hlm
ahura
fravashi
gctl
geniales
indians
persian
eranian
gerhard
ldl
mlm
spirits
cii
gcll
ict
mazda
persians
radix
rii
belief
cft
chl
cti
ddl
demon
fex
furthermore
hesiod
idl
iml
likewise
offerings
powers
Año:
1888
Idioma:
english
Archivo:
PDF, 7.58 MB
Sus etiquetas:
0
/
0
english, 1888
4
plasticità cerebrale come cambia il cervello nel corso della vita
ed. carocci
- g. denes
crf
ttt
ctt
ilp
ctl
ffff
rff
ttf
cci
cii
ctf
ftf
iàà
ppt
pvg
rrr
tff
tttt
1ff
1t6
4á
8cd
ae7
afi
bgw
c77
cfcr
cft
cic
cit
clf
cpi
cqn
ctc
cà
enh
ewlv
fff
fffi
ffft
ffg
flp
ftff
ftt
fxt
g4g
g:q
gca
gctl
ggg
Año:
2016
Archivo:
PDF, 12.82 MB
Sus etiquetas:
0
/
0
2016
5
A Monkey's Guide to Matrices
matrix
axes
values
viewing
drawing
draws
glulookat
itself
transform
current
matrices
sample
active
axis
panel
array
commands
effect
glpopmatrix
glpushmatrix
guide
icon
matrix.apply
routine
shows
vectors
app
camera.draw
column
comboboxes
contains
degrees
discussion
drawn
equivalent
glcalllist
keys
listid
matrix.draw
monkey
orientation
push
reflect
represents
scaling
selected
transformations
transformed
yellow
3x3
Idioma:
english
Archivo:
FB2 , 84 KB
Sus etiquetas:
0
/
0
english
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×