البحث عن الكتب
الكتب
التبرع والدعم
تسجيل الدخول
تسجيل الدخول
المستخدمين المصرح لهم متاح لهم التالي:
توصيات شخصية
روبوت Telegram
تاريخ التنزيلات
إرسال إلي Email أو Kindle
إدارة المجموعات المختارة
حفظ في المفضلة
شخصي
طلبات الكتب
تعلم
Z-Recommend
قوائم الكتب المختارة
الأكثر شهرة
الفئات
مشاركة
التبرع والدعم
التحميلات
Litera Library
التبرع بالكتب الورقية
أضف كتبًا ورقية
Search paper books
LITERA Point الخاص بي
البحث عن الكلمات الرئيسية
Main
البحث عن الكلمات الرئيسية
search
1
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
2
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
1
ادخل علي
هذا الرابط
أو إبحث عن البوت "@BotFather" في Telegram
2
أرسل الأمر /newbot
3
أدخل إسمًا للبوت الخاص بك
4
أدخل إسم المستخدم للبوت
5
انسخ الرسالة الأخيرة من BotFather والصقها هنا
×
×