书籍搜索
书
捐款
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Basic Simple Type Theory
Cambridge University Press
J Roger Hindley
deduction
algorithm
typed
variables
theorem
lemma
reduction
defined
occurrence
curry
deductions
depth
typable
calculus
occurrences
m:x
define
finite
distinct
substitution
contains
inhabitants
x:a
notation
formula
proofs
redex
induction
logics
step
component
completeness
counting
subject
prove
sets
unification
vars
search
axiom
condensed
atom
conclusion
infinite
apply
choose
untyped
components
bck
composite
年:
1997
语言:
english
文件:
DJVU, 1.24 MB
您的标签:
0
/
0
english, 1997
2
Справочник по HTML 4.0
Бук-пресс
Сергей Велихов
abc
xyz
vwxyz
pnfm
wxyz
xxx
nop
klm
db9i
stuv
abcd
cde
xxyz
dew
onpq
wxy
jbcl
5a6
6i218
fgh
lrcvcp
p:k
年:
2006
语言:
russian
文件:
PDF, 1.47 MB
您的标签:
0
/
0
russian, 2006
3
Полупроводниковая оптоэлектроника
ТУСУР
Давыдов В. Н.
d14
xxx
d11
с14
zzz
xyy
yxy
yyx
с11
d111
xxy
xyx
yxx
yyy
d12
d34
n12
t33
xxz
xyz
xzx
xzy
yxz
yyz
yzx
yzy
zxx
zxy
zyx
zyy
сijkl
exp
n32
xxxx
с13
с44
d122
d13
d15
d16
d32
d33
n22
sin2
xxyy
xxyz
xzz
yzz
zxz
zyz
语言:
russian
文件:
PDF, 487 KB
您的标签:
0
/
0
russian
4
Элементы электронной техники
ТУСУР
Давыдов В. Н.
d14
xxx
d11
с14
zzz
xyy
yxy
yyx
с11
d111
xxy
xyx
yxx
yyy
d12
d34
n12
t33
xxz
xyz
xzx
xzy
yxz
yyz
yzx
yzy
zxx
zxy
zyx
zyy
сijkl
exp
n32
xxxx
с13
с44
d122
d13
d15
d16
d32
d33
n22
sin2
xxyy
xxyz
xzz
yzz
zxz
zyz
语言:
russian
文件:
PDF, 464 KB
您的标签:
0
/
0
russian
5
Онтологизации
Дацюк С.
dasein
vr1
xix
vr2
xviii
xxi
asp
a1v1
a2v2
aivia
aivra
aperiunter
arvia
arvra
asr
average
constructivist
creatio
diameter
distance
epitafijantr.shtml
ethic
fenomen
fores
fransofurti
hermeticum
htm
ibm
independent
intimate
metaphysika
metrosexual
mirror
nihilo
ontosophia
philisophiae
philosophicum
pravda.com.ua
publications
rectus
scientist
simpson
tabula
tanquam
togetherness
tv.htm
ukr.net
v1a1
v2a2
viaiv
语言:
russian
文件:
TXT, 824 KB
您的标签:
0
/
0
russian
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×