Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024
Σχετικά με συγκέντρωση χρημάτων
αναζήτηση βιβλίων
βιβλία
Δωρεές:
64.6% έχει επιτευχθεί
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Integrating Decision Procedures for Temporal Verification
Stanford University
Nikolaj Skallerud Bjorner
ation
onstraints
ision
tors
linear
variables
edure
edures
algorithm
onstru
ursive
veri
losure
theories
whi
equality
equalities
rst
ongruen
nite
figure
rigid
onstraint
arithmeti
step
quanti
substitution
approa
recursive
ial
stru
tive
ted
ability
ext
queue
queues
formula
instan
theorem
onne
solver
split
systems
tions
omplete
extra
logi
nodes
equational
Έτος:
1999
Γλώσσα:
english
Αρχείο:
PDF, 1.07 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 1999
2
Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations
Anne Heyworth
whi
obner
presentation
rewriting
ategory
nite
polynomials
polynomial
omplete
module
idword
generators
arrows
sets
graph
monoid
edure
riti
identities
irredu
respe
generated
ible
nition
rewrite
groups
element
sequen
æ2
arrp
tions
ideal
lasses
overlap
resulting
rst
algorithm
ommutative
petri
input
ordering
rossed
systems
onstru
extensions
hberger
output
automaton
initial
lemma
Έτος:
2014
Γλώσσα:
english
Αρχείο:
PDF, 827 KB
Οι ετικέτες (tags) σας:
0
/
0
english, 2014
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×