Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
24.0% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Cognitive Reasoning
Springer
Oleg M. Anshakov
,
Tamás Gergely
,
Tamas Gergely
,
Victor K. Finn
signature
inference
modification
reasoning
cognitive
formula
formulas
lemma
external
fpj
ϕ
csd
jsm
predicate
jε
internal
prσ
theories
cognizing
suppose
calculi
values
processes
atomic
jaσ
domσ
statement
induction
sets
calculus
defined
logics
statements
predicates
axioms
record
structures
consider
denoted
w.r.t
formal
implies
plausible
exists
jτ
theorem
method
operation
contains
framework
Рік:
2009
Мова:
english
Файл:
PDF, 15.13 MB
Ваші теги:
0
/
0
english, 2009
2
Cognitive Reasoning: A Formal Approach
Springer-Verlag Berlin Heidelberg
Tamás Gergely
,
Oleg M. Anshakov (auth.)
signature
inference
modification
reasoning
cognitive
formula
formulas
lemma
external
fpj
ϕ
csd
jsm
predicate
jε
internal
prσ
theories
cognizing
suppose
calculi
values
processes
atomic
jaσ
domσ
statement
induction
sets
calculus
defined
logics
statements
predicates
axioms
record
structures
consider
denoted
w.r.t
formal
implies
plausible
exists
jτ
theorem
method
operation
contains
framework
Рік:
2010
Мова:
english
Файл:
PDF, 13.39 MB
Ваші теги:
0
/
0
english, 2010
3
Berechnung von Raman-Intensitaten mit zeitabhangiger Dichtefunktionaltheorie German
KIT Scientific Publishing
Dmitrij Rappoport
raman
phys
ω0
ableitungen
berechnung
polarisierbarkeitsableitungen
intensitäten
spektren
ν2
tzvpp
ν1
pbe0
wobei
funktional
c74
streuaktivitäten
resonanz
streuung
experimentellen
a1g
ergebnisse
näherung
elektronischen
αq
ν3
anregungsfrequenz
beiträge
iaσ
polarisierbarkeit
vib
ωk
basissatz
genauigkeit
jaσ
verwendet
polarisierbarkeiten
strahlung
vergleich
numerische
ordnung
polarisierbarkeitstheorie
rechnungen
dichtematrix
lässt
pvtz
rahmen
ω1
auswertung
basissätze
bezeichnet
Рік:
2007
Мова:
german
Файл:
PDF, 1.68 MB
Ваші теги:
0
/
0
german, 2007
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×