შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
21.6% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
LITERA Point-ის გახსნა
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
Robin Adams
,
Zhaohui Luo (auth.)
,
Thorsten Altenkirch
,
Conor McBride (eds.)
definition
function
proofs
variables
defined
coq
theorem
prove
define
first
formula
lemma
induction
calculus
springer
context
systems
heidelberg
lncs
algorithm
typed
constructor
logical
syntax
predicate
proposition
inductive
equality
values
subset
axiom
typing
ϕ
axioms
modulo
sets
different
framework
rewrite
approach
functions
λpredω
app
cic
interpretation
coinductive
congruence
programming
formalisation
propositions
წელი:
2007
ენა:
english
ფაილი:
PDF, 4.28 MB
თქვენი თეგები:
0
/
0
english, 2007
2
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
Robin Adams
,
Zhaohui Luo (auth.)
,
Thorsten Altenkirch
,
Conor McBride (eds.)
definition
function
proofs
variables
defined
coq
theorem
prove
define
first
formula
lemma
induction
calculus
springer
context
systems
heidelberg
lncs
algorithm
typed
constructor
logical
syntax
predicate
proposition
inductive
equality
values
subset
axiom
typing
ϕ
axioms
modulo
sets
different
framework
rewrite
approach
functions
λpredω
app
cic
interpretation
coinductive
congruence
programming
formalisation
propositions
წელი:
2007
ენა:
english
ფაილი:
PDF, 3.00 MB
თქვენი თეგები:
0
/
0
english, 2007
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×