գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
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
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×