籌款 9月15日 2024 – 10月1日 2024
關於籌款
書籍搜索
圖書
籌款:
59.5% 已募集
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
Deductive and Declarative Programming
Cambridge University Press
Peter Padawitz
expansion
goal
inductive
convergent
w.r.t
sect
abs
reduction
lemma
paramodulation
valid
clause
nodes
atom
makebag
sorted
theorem
insert
variables
seq
axioms
clauses
induction
implies
goals
axucs
specification
rotate
function
strongly
reductive
c_no
confluent
inductively
p_poss
parse
thm
confluence
tlist
sign
depthfirst
horn
axiom
examples
schorrwaite
directed
g_no
q_poss
axms
bubble
年:
1992
語言:
english
文件:
PDF, 6.34 MB
你的標籤:
0
/
0
english, 1992
2
Deductive and Declarative Programming
Cambridge University Press
Peter Padawitz
expansion
goal
inductive
convergent
w.r.t
sect
abs
reduction
paramodulation
lemma
valid
clause
nodes
atom
makebag
sorted
theorem
insert
variables
seq
axioms
induction
clauses
axucs
implies
specification
goals
rotate
strongly
function
c_no
confluent
p_poss
reductive
inductively
thm
confluence
tlist
parse
sign
depthfirst
horn
axiom
examples
schorrwaite
directed
g_no
q_poss
axms
bubble
年:
1992
語言:
english
文件:
DJVU, 1.40 MB
你的標籤:
0
/
0
english, 1992
3
Computing in Horn Clause Theories
Springer
Peter Padawitz
nax
theorem
reduction
narrowing
goal
w.r.t
lemma
insert
induction
implies
substitution
solution
irreducible
reduced
eax
critical
axueax
equations
convergent
reducible
function
cax
satisfies
conditional
seq
deductive
inductive
modulo
equation
axioms
initial
specification
conclude
suppose
completeness
calculus
axiom
horn
pairs
rosser
clause
redex
assumption
substitutions
theorems
derivable
noetherian
confluence
goals
height
年:
1988
語言:
english
文件:
PDF, 7.67 MB
你的標籤:
0
/
0
english, 1988
4
Гугеноты
ЭБС Лань
Мейербер Джакомо
bonheur
plai
tav
heur
choeur
bce
buveur
tons
beaux
qwi
tpe
3a6
allegro
hatons
hiaxd
ra_ble
ta_ble
trom
tré
vons
vé
vé_ri
acte
axms
bacchus
bes
bie
bon_heur
bse
bue
cep
cresc
dieux
dolce
entrée
eresc
grin
hach
mour
myc
otb
saas
sez
ta_
vins
xop
xopb
_sir
abemb
ad_
年:
2015
語言:
russian
文件:
PDF, 60.46 MB
你的標籤:
0
/
0
russian, 2015
5
Устав гражданского судопроизводства губерний Царства Польского
mbcto
ecan
ccam
cyaba
cyfa
emy
domicile
memay
orb
requétes
rogy
yto
avocat
cero
civile
ctopoha
cyabh
kakb
ohh
ohs
oth
procédure
requéte
roga
takb
wah
abkh
absa
akta
artobd
bbi
camaro
ctopohamh
cyds
hero
hiemb
huissier
kean
mehbe
mometl
mutcalctba
obith
omnoweniu
otb
otl
pofa
saisie
taks
thmb
toabko
語言:
russian
文件:
PDF, 41.39 MB
你的標籤:
0
/
0
russian
6
宋六十名家词 丙集 坦庵词 第1卷
杂志公司
施蛰存主编
srr
srs
rss
rrs
bes
sers
sra
esr
rrm
saas
sro
ssr
brs
hero
rhr
sars
seas
seb
sese
sues
aaah
abs
arr
arse
asrs
beh
berens
bhr
blk
brie
bse
csrs
dees
erm
hsh
larp
mss
psr
rah
reh
riel
rle
rmr
rps
rra
rro
rrr
sager
sass
sbr
年:
1936
語言:
chinese
文件:
PDF, 411 KB
你的標籤:
0
/
0
chinese, 1936
7
在国家标准中采用国际标准
国家标准总局
国家标准总局政研室译
adoption
rhe
brera
cobol
methods
mre
onorm
rrr
aarne
aram
asme
asr
awe
bes
eaa
esr
gtandards
hme
hri
iec
jar
kerr
lra
method
mmar
mra
national
rates
rea
reference
reprint
rik
rpe
rra
rro
rth
srt
ware
wen
wma
1s06165
24,6t
26t
4l7
4yngsgtta
980y
_kaw
aaarmrne
aac
aare
年:
1981
語言:
chinese
文件:
PDF, 360 KB
你的標籤:
0
/
0
chinese, 1981
8
ママに精子いっぱいちょうだい 前編
同人誌
Crips (山本よし文)
bes
sess
68th
aacs
absa
achras
acn
alee
aso4
aspb
atm
atx
aunkassa4
awe
axms
bok
brr
brs
bse
cand
cbre
coor
ddd
dexi
filia
fokhom
frhais
hds
heidi
hons
ibs
ikem
irie
jeeehaaraa
kees
lomo
meee
nest
nhrql
o_o
oee
oos
ooy
orsora
osteo
peru
rbs
ren
rhee
riook
年:
2016
語言:
japanese
文件:
PDF, 35.93 MB
你的標籤:
0
/
0
japanese, 2016
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×