buscar libros
libros
Donar
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
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
Año:
2003
Idioma:
english
Archivo:
PDF, 5.93 MB
Sus etiquetas:
0
/
0
english, 2003
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×