შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
26.3% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Logical Foundations of Proof Complexity
Association for Symbolic Logic [ASL]; Cambridge University Press [CUP]
Stephen Cook
,
Phuong Nguyen
ϕ
theorem
formula
function
formulas
definition
σb0
viii
functions
bounded
definable
lemma
axiom
polynomial
proves
sequent
axioms
variables
theories
induction
iff
vtc
propositional
σb1
prove
sorted
corollary
define
defined
l2a
defining
proofs
iδ0
suppose
numones
conservative
first
vnc
quantifier
vpv
witnessing
complexity
consider
depth
equivalent
σbi
recall
universal
rfn
principle
წელი:
2010
ენა:
english
ფაილი:
PDF, 2.32 MB
თქვენი თეგები:
0
/
0
english, 2010
2
Logical Foundations of Proof Complexity
Association for Symbolic Logic [ASL]; Cambridge University Press [CUP]
Stephen Cook
,
Phuong Nguyen
ϕ
theorem
formula
function
formulas
definition
σb0
viii
functions
bounded
definable
lemma
axiom
polynomial
proves
sequent
axioms
variables
theories
induction
iff
vtc
propositional
σb1
prove
sorted
corollary
define
defined
l2a
defining
proofs
iδ0
suppose
numones
conservative
first
vnc
quantifier
vpv
witnessing
complexity
consider
depth
equivalent
σbi
recall
universal
rfn
principle
წელი:
2010
ენა:
english
ფაილი:
PDF, 2.58 MB
თქვენი თეგები:
0
/
0
english, 2010
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×