তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024
তহবিল সংগ্রহের বিষয়ে
বই অনুসন্ধান
বইগুলো
তহবিল সংগ্রহ:
65.0% সংগৃহীত
সাইন ইন করুন
সাইন ইন করুন
অনুমোদিত ব্যবহারকারীদের অ্যাক্সেস আছে:
ব্যক্তিগত সুপারিশ
Telegram বট
ডাউনলোড ইতিহাস
Email বা Kindle পাঠানো
বইয়ের তালিকা নিয়ন্ত্রণ
ফেভারিটে সংরক্ষণ করা
ব্যক্তিগত
বইয়ের অনুরোধ
এক্সপ্লোর
Z-Recommend
বইয়ের তালিকা
সবচেয়ে জনপ্রিয়
ক্যাটাগোরিগুলো
অংশগ্রহণ
দান করুন
আপলোডগুলি
Litera Library
কাগজের বই দান
কাগজের বই যোগ করুন
Search paper books
আমার LITERA Point
কীওয়ার্ড অনুসন্ধান
Main
কীওয়ার্ড অনুসন্ধান
search
1
Software Foundations
iBooker it-ebooks
it-ebooks
apply
notation
constr
intros
qed
theorem
rewrite
inversion
induction
reflexivity
destruct
lemma
coq
false
admitted
anum
match
☐
pe_st
goal
function
eapply
step
prove
simpl
eauto
inductive
simple_intropattern
unfold
ltac
ident
t12
context
assumption
bool
import
tnat
require
tapp
appears_free_in
optional
proofs
tactics
hyp
typing
auto_star
lets
variables
auto_tilde
hint
সাল:
2017
ভাষা:
english
ফাইল:
EPUB, 660 KB
আপনার ট্যাগগুলি:
0
/
0
english, 2017
2
Software Foundations vol 2 Programming Language Foundations
Benjamin C. Pierce
,
Arthur Azevedo de Amorim
,
Chris Casinghino
,
Marco Gaboardi
,
Michael Greenberg
,
Cătălin Hriţcu
,
Vilhelm Sjöberg
,
Andrew Tolmach
,
Brent Yorgey
current
notation
constr
lemma
constructor
gamma
plf
softwarefoundations.cis.upenn.edu
pe_st
plf.smallstep
apply
simple_intropattern
plf.hoare
step
plf.morestlc
intros
rewrite
plf.references
inductive
match
_x_
goal
theorem
ltac
ident
plf.pe
plf.equiv
tactics
_x
coq
plf.norm
plf.recordsub
inversion
typing
plf.sub
false
plf.hoare2
qed
hoare
stlc
eauto
induction
appears_free_in
reflexivity
destruct
standard
hyp
plf.records
bool
auto_star
সাল:
2020
ভাষা:
english
ফাইল:
PDF, 2.20 MB
আপনার ট্যাগগুলি:
0
/
0
english, 2020
3
公理化集合论机器证明系统
科学出版社
郁文生
apply
destruct
unfold
split
intros
axiom
rewrite
h10
assert
h11
h12
axiomii_p
axiomii
h13
theorem4
h14
h15
h16
generalize
h17
theorem49
exists
repeat
contradiction
h18
qed
theorem19
rrelation
hint
tauto
ordinal
h20
h19
theorem
clea
classic
property_value
resolve
singleton
en_f
setminus
kelley
function
asse
coq
property_dom
theorem33
property_ran
函
elim
সাল:
2020
ভাষা:
chinese
ফাইল:
PDF, 10.49 MB
আপনার ট্যাগগুলি:
5.0
/
3.0
chinese, 2020
1
এই লিঙ্ক
অনুসরণ করুন অথবা Telegram-এ "@BotFather" বট অনুসন্ধান করুন
2
কমান্ড পাঠান / newbot
3
আপনার বটের জন্য একটি নাম উল্লেখ করুন
4
বটের জন্য একটি ব্যবহারকারীর নাম উল্লেখ করুন
5
BotFather থেকে লেটেস্ট মেসেজ কপি করে এখানে পেস্ট করুন
×
×