募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
30.7% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Cognitive Reasoning
Springer
Oleg M. Anshakov
,
Tamás Gergely
,
Tamas Gergely
,
Victor K. Finn
signature
inference
modification
reasoning
cognitive
formula
formulas
lemma
external
fpj
ϕ
csd
jsm
predicate
jε
internal
prσ
theories
cognizing
suppose
calculi
values
processes
atomic
jaσ
domσ
statement
induction
sets
calculus
defined
logics
statements
predicates
axioms
record
structures
consider
denoted
w.r.t
formal
implies
plausible
exists
jτ
theorem
method
operation
contains
framework
年:
2009
语言:
english
文件:
PDF, 15.13 MB
您的标签:
0
/
0
english, 2009
2
Cognitive Reasoning: A Formal Approach
Springer-Verlag Berlin Heidelberg
Tamás Gergely
,
Oleg M. Anshakov (auth.)
signature
inference
modification
reasoning
cognitive
formula
formulas
lemma
external
fpj
ϕ
csd
jsm
predicate
jε
internal
prσ
theories
cognizing
suppose
calculi
values
processes
atomic
jaσ
domσ
statement
induction
sets
calculus
defined
logics
statements
predicates
axioms
record
structures
consider
denoted
w.r.t
formal
implies
plausible
exists
jτ
theorem
method
operation
contains
framework
年:
2010
语言:
english
文件:
PDF, 13.39 MB
您的标签:
0
/
0
english, 2010
3
Entwurf einer urlappischen lautlehre I
Wiklund K.B.
iler
unil
tler
ilie
tlie
vgl
untl
ilen
lappischen
ilass
finnischen
tlen
lappen
lule
tlass
urn
silbe
ilas
arj
bfb
starken
urlappischen
beispiele
tles
tlas
rlie
tlem
rler
ilem
iles
lappische
schwachen
dialekten
vokale
unrl
vokal
nämlich
acc
formen
kurzen
oiler
schwache
übrigen
jetloch
urlappischer
lehnwörter
sintl
wörter
scheint
schwächung
语言:
german
文件:
PDF, 6.16 MB
您的标签:
0
/
0
german
4
铁路数字移动通信系统(GSM-R)光纤直放站网络管理系统技术条件
国家铁路局
gsm
uintl
uint2
0x00
rea
0x01
rhe
ups
0x0
mep
protocol
网
0x04
ascii
bie
network
rrr
sintl
srr
crc
fea
hbr
map
oxff
0x02
0x03
8l07
bbo
bes
brm
brr
brs
dbm
pum
rrs
tit
udp
协
0x80
abr
baer
communications
csm
eft
emm
global
hrs
kbe
kerr
licr
年:
2018
文件:
PDF, 2.26 MB
您的标签:
0
/
0
2018
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×