Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024
Σχετικά με συγκέντρωση χρημάτων
αναζήτηση βιβλίων
βιβλία
Δωρεές:
64.0% έχει επιτευχθεί
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen
Springer-Verlag Berlin Heidelberg
Professor Dr. Jürgen Avenhaus (auth.)
gilt
beweis
fiir
1st
terminierend
proc
lemma
falls
rewriting
satz
volume
rpo
zeigen
modulo
regeln
lecture
verlag
springer
regelsystem
systems
gdw
beispiel
termination
folgt
aufgabe
menge
gleichung
r.a
conference
partialordnung
konfluent
gleichungen
aile
beachte
knuth
bendix
liefert
ordnung
journal
d.h
vervollstandigung
jedes
reduktionsordnung
abbildung
konfluenz
rosser
paare
zeigt
betrachten
termersetzungssysteme
Έτος:
1995
Γλώσσα:
german
Αρχείο:
PDF, 9.59 MB
Οι ετικέτες (tags) σας:
0
/
0
german, 1995
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×