การระดมทุน วันที่ 15 กันยายน 2024 – วันที่ 1 ตุลาคม 2024
เกี่ยวกับการระดมทุน
ค้นหาหนังสือ
หนังสือ
การระดมทุน:
67.4% เพิ่มขึ้น
ลงชื่อเข้าใช้
ลงชื่อเข้าใช้
เพื่อเข้าถึงฟีเจอร์เพิ่มเติม
คำแนะนำส่วนตัว
บอท Telegram
ประวัติการดาวน์โหลด
ส่งไปยังอีเมล หรือ 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 แล้ววางที่นี่
×
×