tìm kiếm sách
sách
Quyên góp
Đang nhập
Đang nhập
Người dùng đã xác minh danh tính được phép:`
nhận xét cá nhân
Telegram bot
Lịch sử download
gửi tới email hoắc Kindle
xóa mục
lưu vào mục được chọn
Cá nhân
Yêu cầu sách
Khám phá
Z-Recommend
Danh sách sách
Phổ biến
Thể loại
Đóng góp
Quyên góp
Lượt uload
Litera Library
Tặng sách giấy
Thêm sách giấy
Search paper books
LITERA Point của tôi
Tìm từ khóa
Main
Tìm từ khóa
search
1
Approche logique de l'intelligence artificielle Tome 2 : De la logique modale à la logique des bases de données
Bordas Editions
André Thayse
logique
formule
données
modèle
formules
règles
temporelle
automate
artificielle
prédicats
prédicat
modèles
naturelle
logiques
intelligence
montague
état
raisonnement
paragraphe
valeurs
constantes
interprétation
connaissance
vraie
théorème
langues
syntaxique
constante
herbrand
variables
règle
syntaxe
intensionnelle
hypothèse
phrases
figure
formelle
programme
axiomatique
signification
formalisation
propriétés
opérateurs
automates
contient
révisable
suit
états
définie
axiome
Năm:
1993
Ngôn ngữ:
french
File:
DJVU, 3.16 MB
Các thể loại của bạn:
0
/
0
french, 1993
2
Approche logique de l'intelligence artificielle Tome 3 : Du traitement de la langue à la logique des systèmes experts
Bordas Editions
André Thayse
logique
nœud
intelligence
artificielle
figure
modèle
règles
naturelle
connaissances
état
règle
inférence
nœuds
raisonnement
graphe
systèmes
formalisme
traitement
connaissance
réseau
héritage
atms
interprétation
données
valeurs
contraintes
variables
programmation
prolog
algorithme
maintenance
intermédiaire
paragraphe
environnement
requête
formule
séquence
faux
objet
moteur
acoustique
loqui
justification
tms
transitions
étiquette
modèles
faits
arrière
lambda
Năm:
1993
Ngôn ngữ:
french
File:
DJVU, 2.44 MB
Các thể loại của bạn:
0
/
0
french, 1993
3
Fiche marchés publics n°2
Ingrid BIGOT
révision
marché
zinc
clause
formule
marchés
l’entreprise
publics
l’index
l’indice
ferme
indice
indices
prévu
euros
l’actualisation
commencement
d’actualisation
d’établissement
l’acheteur
mensuelle
montant
période
actualisation
avril
bt34
conclu
connue
entreprises
initial
l’objet
référence
révisable
bt34n
bt34o
bto
coûts
dessous
fixe
indzn
indzo
maître
prévoir
révisé
totaux
actualisé
associé
bt51
btn51
bto51
Ngôn ngữ:
french
File:
PDF, 129 KB
Các thể loại của bạn:
0
/
0
french
4
Argumentation: droit, philosphie et sciences sociales
Livet
,
Pierre
l’argumentation
juridique
intentions
méme
juridiques
révision
argumentation
contrat
décision
systéme
étre
révisions
juge
validité
descartes
débat
pfersmann
arguments
introduction
justification
morale
principes
procés
étude
argument
bouvier
canada
cogito
cometti
décisions
frydman
largumentation
laval
l’argumenta
l’interaction
morales
norme
possibilité
presses
probléme
réviser
valide
communauté
croyances
inférences
intention
ments
montre
objet
parties
Năm:
2016
File:
PDF, 115.93 MB
Các thể loại của bạn:
0
/
0
2016
1
Đi tới
đường link này
hoặc tìm bot "@BotFather" trên Telegram
2
Xin gửi lệnh /newbot
3
Xin nêu tên cho bot của bạn
4
Xin nêu tên người dùng cho bot
5
Xin copy tin nhắn gần đây từ BotFather và dán nó và đây
×
×