Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024
Դրամահավաքի մասին
գրքերի որոնում
գրքեր
Նվիրատվություններ:
64.1% իրականացված է
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Իմ LITERA Point-ը
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
Decidability of Modal Logics with Particular Emphasis on the Interval Temporal Logics [PhD Thesis]
University of Wroclaw
Jakub Michaliszyn
ϕ
cφ
formula
worlds
lemma
define
satisfiability
modal
finite
interval
formulas
satisfies
edges
defined
contains
kφ
labeled
morphism
exists
edge
global
uhf
bounded
consider
assume
implies
intervals
path
satisfied
levels
logics
variables
prove
satisfy
models
function
resp
theorem
horn
otherwise
successors
xφn
cloud
frames
counter
decidability
configuration
successor
undecidability
proposition
Տարի:
2012
Լեզու:
english
Ֆայլ:
PDF, 1.18 MB
Ձեր թեգերը:
0
/
0
english, 2012
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×