Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
Campagne de collecte:
21.0% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Ouvrir LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
The Implementation of Prolog
Princeton University Press
Patrice Boizumault
,
Ara M. Djamboulian
,
Jamal Fattouh
prolog
stack
defun
goal
variables
clause
unification
choice
global
implementation
defmacro
freeze
goals
cdr
binding
predicate
clauses
deterministic
backtracking
trail
vset
fail
optimization
arguments
frozen
setq
char
delayed
structured
dif
atom
mechanism
continuation
registers
sharing
svref
cprolog
memory
calls
programming
argument
updating
paq
figure
current
unbound
initial
algorithm
indexing
largs
Année:
2014
Langue:
english
Fichier:
PDF, 13.39 MB
Vos balises:
0
/
0
english, 2014
2
The implementation of Prolog
Princeton University Press
Boizumault
,
Patrice
,
Djamboulian
,
Ara M.
,
Fattouh
,
Jamal
prolog
stack
defun
goal
variables
clause
unification
choice
global
implementation
defmacro
goals
freeze
cdr
binding
predicate
clauses
deterministic
backtracking
trail
vset
fail
arguments
optimization
frozen
setq
char
delayed
structured
atom
dif
continuation
mechanism
registers
sharing
svref
programming
argument
calls
memory
cprolog
paq
figure
current
unbound
updating
initial
algorithm
indexing
largs
Année:
1993
Langue:
english
Fichier:
PDF, 13.59 MB
Vos balises:
0
/
0
english, 1993
3
ANSI Common Lisp - Solutions
Prentice Hall
Paul Graham.
defun
buf
rec
cdr
acc
setf
aref
expr
ls1
char
path
node
tst
incf
push
eql
dolist
lambda
modified
sentence
key
queue
tst0
labels
lst
svref
values
cond
funcall
progn
reverse
showdots
accessor
array
bfs
defmacro
function
initarg
parms
positive
radius
retain
sphere
txt
apply
grec
initform
lisp
prev
alternative
Année:
1996
Langue:
english
Fichier:
PDF, 166 KB
Vos balises:
0
/
0
english, 1996
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×