Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
57.5% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
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
Year:
2013
Language:
english
File:
PDF, 4.11 MB
Your tags:
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
Year:
2013
Language:
english
File:
PDF, 1.93 MB
Your tags:
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
Year:
1888
Language:
english
File:
PDF, 7.58 MB
Your tags:
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
Year:
2016
File:
PDF, 12.82 MB
Your tags:
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
Language:
english
File:
FB2 , 84 KB
Your tags:
0
/
0
english
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×