αναζήτηση βιβλίων
βιβλία
Υποστήριξη
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Psalmenkommentare aus der Katenenüberlieferung: Band III Untersuchungen zu den Psalmenkatenen
De Gruyter
EKKEHARD MUHLENBERG
thdt
typ
cont
άλλως
fol
δέ
psalm
apoll
φησίν
katene
τό
έν
τού
antonelli
τούτο
ταύτα
τώ
vgl
jagic
yap
μέν
ού
μεν
θεού
evagr
ώς
pitra
xiv
palästinensischen
γάρ
φησιν
ούτως
τά
οί
τών
ούκ
εις
xiii
hesychius
katenen
yäp
έπί
έπεί
quellen
διά
εί
athanasius
tfol
νοήσεις
origenes
Έτος:
1978
Γλώσσα:
german
Αρχείο:
PDF, 6.79 MB
Οι ετικέτες (tags) σας:
0
/
5.0
german, 1978
2
[9783110859669 - Untersuchungen zu den Psalmenkatenen] Untersuchungen zu den Psalmenkatenen.pdf
[9783110859669 - Untersuchungen zu den Psalmenkatenen] Untersuchungen zu den Psalmenkatenen.pdf
thdt
typ
cont
άλλως
fol
δέ
psalm
apoll
φησίν
katene
τό
έν
τού
antonelli
τούτο
ταύτα
τώ
vgl
jagic
yap
μέν
ού
μεν
θεού
evagr
ώς
pitra
xiv
palästinensischen
γάρ
φησιν
ούτως
τά
οί
τών
ούκ
εις
xiii
hesychius
katenen
yäp
έπί
έπεί
quellen
διά
εί
athanasius
tfol
νοήσεις
origenes
Γλώσσα:
german
Αρχείο:
PDF, 6.79 MB
Οι ετικέτες (tags) σας:
0
/
0
german
3
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Lecture Notes in Computer Science, 12669)
Springer
Markus Roggenbach (editor)
graph
operators
defined
morphisms
diagram
axiom
morphism
axioms
specification
parallel
signature
reachability
theories
transition
lemma
cnt
kiv
monographs
trace
graphs
definition
edges
springer
function
monograph
sect
uml
doi.org
configuration
structures
event
first
algebraic
lncs
machines
transformations
casl
transitions
category
abstract
coherent
syntax
theorem
pushout
finite
programming
sets
approach
systems
variables
Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 4.12 MB
Οι ετικέτες (tags) σας:
0
/
5.0
english, 2021
4
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
Wei Li
,
Yuefei Sui
provable
induction
calculus
consistent
deduction
theorem
assumption
inconsistent
assume
formula
implies
denoted
revision
statements
formulas
propositional
axioms
ssn
sets
calculi
logics
sequent
statement
theories
prove
tsn
axiom
logical
define
completeness
tdl
assignment
lemma
finite
nonmonotonic
soundness
belief
modal
sfol
gentzen
pseudo
satisfied
semantic
otherwise
interpretation
symbols
previous
priority
r.c1
preserves
Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 2.97 MB
Οι ετικέτες (tags) σας:
0
/
5.0
english, 2021
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×