գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Իմ LITERA Point-ը
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
Logic for Learning: Learning Comprehensible Theories from Structured Data
Springer-Verlag Berlin Heidelberg
J. W. Lloyd (auth.)
predicate
proposition
relative
predicates
suppose
standard
induction
rewrite
function
constructor
abloy
defined
substitution
subterm
programming
occurrence
consider
individuals
transformations
sets
mgu
kernel
exists
variables
atom
examples
monotone
constructors
vertex
parameters
projmake
projlength
key
redex
signature
bond
regularisation
step
x.s
prove
setexists
obtained
subterms
statement
algorithm
nullary
equivalent
append
initial
arity
Տարի:
2003
Լեզու:
english
Ֆայլ:
PDF, 5.93 MB
Ձեր թեգերը:
0
/
0
english, 2003
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×