Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024
Σχετικά με συγκέντρωση χρημάτων
αναζήτηση βιβλίων
βιβλία
Δωρεές:
63.6% έχει επιτευχθεί
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Springer
Nadia Creignou
,
Daniel Le Berre
clauses
variables
clause
formula
solver
formulas
algorithm
ϕ
qbf
solvers
solving
instances
springer
lncs
assignment
first
boolean
heidelberg
cnf
literals
cdcl
theorem
dependency
graph
satisfiability
function
symmetry
search
encoding
graphs
universal
literal
propositional
solution
functions
complexity
decision
different
constraints
approach
unsatisfiable
algorithms
solved
benchmarks
linear
consider
proceedings
quantified
conflict
binary
Έτος:
2016
Γλώσσα:
english
Αρχείο:
PDF, 7.10 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2016
2
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Springer International Publishing
Nadia Creignou
,
Daniel Le Berre (eds.)
clauses
variables
clause
formula
solver
formulas
algorithm
ϕ
qbf
solvers
solving
instances
springer
lncs
assignment
first
boolean
heidelberg
cnf
literals
cdcl
theorem
dependency
graph
satisfiability
function
symmetry
search
encoding
graphs
universal
literal
propositional
solution
functions
complexity
decision
different
constraints
approach
unsatisfiable
algorithms
solved
benchmarks
linear
consider
proceedings
quantified
conflict
binary
Έτος:
2016
Γλώσσα:
english
Αρχείο:
PDF, 14.53 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2016
3
Основы монтажа и ремонта технологического оборудования
Кормилицын Г.С.
,
Иванов О.О.
cpo
mnf
lnqbl
pnq
kfc
jlkp
mnl
bcp
fif
icg
ickf
rqkb
tff
mnfjck
ncjlkp
wfc
qop
hdc
mnlfe
upl
mlb
kcl
fealpl
oicbq
kfcj
jckp
jcp
lokl
plj
omlol
jcs
lmnl
pcnf
kff
pqny
slbfjl
fomyp
wfs
pcjmcn
hlg
olop
ickfc
jcpn
pzo
ypz
kfe
lpy
opf
eln
licc
Γλώσσα:
russian
Αρχείο:
DJVU, 578 KB
Οι ετικέτες (tags) σας:
0
/
0
russian
4
Функции алгебры логики. Канонические виды булевых формул: Учебно-методическое пособие
ЭБС Лань
Сорочан С. В.
𝑥1
𝑥
𝑥2
𝑥3
𝑓
𝑦
boolean
function
formula
𝑧
variables
𝑥𝑛
pdnf
functions
𝑛
𝜎
elementary
𝜎1
pcnf
conjunction
𝜎𝑛
decomposition
𝐴
disjunction
equal
essential
theorem
values
𝑎0
collections
polynomial
polynomials
dnf
formulae
𝑥1𝑥2
depending
negation
𝐵
𝑥𝑖
corresponds
zhegalkin
𝐸2𝑛
cnf
construct
fictitious
identities
independent
logical
modulo
task
Έτος:
2023
Γλώσσα:
russian
Αρχείο:
PDF, 2.09 MB
Οι ετικέτες (tags) σας:
0
/
0
russian, 2023
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×