Набиране на средства 15 септември 2024 – 1 октомври 2024
Относно набирането на средства
търсене на книга
книги
Набиране на средства:
68.1% събрани
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l’aide à la localisation d’erreurs : exploration des capacités des CSP pour la localisation d’erreurs
Mohammed Bekkouche
✐
❧
✉
✳
❣
✈
❦
❇
✴
❥
ér
rés
ét
êtr
tré
stè
trityp
tér
sts
tab0
css
tés
éré
éq
bmcs
rès
ès
cspa
séq
sés
bcond
trô
rré
tab
cspd
newm
tèr
rsq
min2
séré
rrêt
sdevie
cstr
min3
rts
selclause
érés
min1
stré
testm
Език:
french
Файл:
PDF, 1.83 MB
Вашите тагове:
0
/
0
french
2
Formal Concept Analysis: 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Springer-Verlag Berlin Heidelberg
Rudolf Wille (auth.)
,
Raoul Medina
,
Sergei Obiedkov (eds.)
formal
context
lattice
sets
analysis
attributes
algorithm
lattices
mining
implications
dependencies
attribute
association
springer
fca
heidelberg
01k
defined
figure
method
implication
methods
intents
approach
intent
proposition
contexts
contains
logical
exploration
finite
ontology
relational
structures
theorem
closure
consider
hypergraph
lncs
lnai
graph
ganter
wille
extent
positive
mathematics
feature
symmetric
frequent
axioms
Година:
2008
Език:
english
Файл:
DJVU, 3.25 MB
Вашите тагове:
0
/
0
english, 2008
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×