Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024
O prikupljanju novca
pretraga knjiga
knjige
Prikupljanje sredstava:
18.0% dosegnuto
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Otvoriti LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
Many dimensional modal logics : theory and applications
Elsevier
Gabbay
,
Dov M
logics
modal
theorem
formula
temporal
formulas
finite
product
suppose
frames
products
define
satisfiability
models
decidable
satisfiable
defined
variables
lemma
linear
propositional
quasimodel
kripke
epistemic
fragments
assume
induction
dimensional
domains
complexity
operators
consider
satisfied
fragment
9jt
denote
prove
cpdl
function
infinite
decidability
satisfying
qtc
strict
intuitionistic
contains
monodic
fmp
exists
predicate
Godina:
2003
Jezik:
english
Fajl:
DJVU, 4.67 MB
Vaši tagovi:
0
/
0
english, 2003
2
Many-Dimensional Modal Logics: Theory and Applications
North Holland
D.M. Gabbay
,
A. Kurucz
,
F. Wolter
,
M. Zakharyaschev
logics
modal
theorem
formula
temporal
formulas
finite
product
suppose
frames
products
define
satisfiability
models
satisfiable
decidable
defined
lemma
variables
linear
propositional
quasimodel
kripke
epistemic
assume
induction
domains
dimensional
fragments
operators
complexity
consider
satisfied
9jt
fragment
denote
prove
cpdl
function
infinite
satisfying
qtc
strict
decidability
intuitionistic
contains
fmp
monodic
exists
universal
Godina:
2003
Jezik:
english
Fajl:
DJVU, 4.63 MB
Vaši tagovi:
0
/
0
english, 2003
3
Many-Dimensional Modal Logics: Theory and Applications
North Holland
D.M. Gabbay
,
A. Kurucz
,
F. Wolter
,
M. Zakharyaschev
logics
modal
theorem
formula
temporal
formulas
finite
product
suppose
frames
products
define
satisfiability
decidable
models
satisfiable
defined
variables
quasimodel
propositional
linear
qtc
kripke
lemma
epistemic
assume
fragments
induction
domains
9jl
complexity
operators
dimensional
consider
satisfied
fragment
denote
prove
function
infinite
satisfying
decidability
strict
intuitionistic
contains
undecidable
monodic
predicate
exists
universal
Godina:
2003
Jezik:
english
Fajl:
PDF, 28.95 MB
Vaši tagovi:
0
/
0
english, 2003
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×