Αναζήτηση λέξεων κλειδιών

  • Main
  • Αναζήτηση λέξεων κλειδιών
7
Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)
database
update
transaction
updates
programming
active
databases
transactions
specification
reasoning
programs
logical
integrity
deductive
revision
formulas
systems
constraints
defined
formula
approach
inductive
query
edb
datalog
execution
facts
axioms
calculus
consistent
define
statelog
consider
predicate
proc
function
hypotheses
classical
queries
event
sets
dynamic
path
clause
transitions
theorem
events
entrenchment
hypothetical
atom
Έτος:
1998
Γλώσσα:
english
Αρχείο:
DJVU, 6.66 MB
0 / 0
english, 1998
20
Statystyka

Statystyka

Mieczysław Sobczyk
xœ
p.x
sô
sœ
xxo
trl
nœ
o.x
x.x
x.o
œ1
aœ
y.x
o.a
x.a
xtl
ttz
xtz
o.o
oœ
xxx
xoy
mœ
rxl
x.q
Έτος:
2001
Γλώσσα:
polish
Αρχείο:
PDF, 12.01 MB
0 / 0
polish, 2001
21
Statystyka

Statystyka

Mieczysław Sobczyk
xœ
sô
p.x
sœ
trl
nœ
o.x
x.o
œ1
x.x
y.x
xxo
aœ
x.a
xoy
xtz
o.a
xtl
a.x
oœ
o.o
ttz
qà
xxx
oô
x.q
crj
tqr
xmo
Έτος:
2001
Γλώσσα:
polish
Αρχείο:
PDF, 16.71 MB
0 / 0
polish, 2001
35
Тенденции в производстве охлаждающих жидкостей

Тенденции в производстве охлаждающих жидкостей

жидкостей
охлаждающих
жидкости
производства
антифризы
основе
присадок
этиленгликоля
антифризов
замерзания
использование
охлаждающие
силикатов
охлаждения
сша
технология
карбоксилатные
нового
охлаждающей
температура
технологий
частности
ttz
автомобилей
амины
антифриза
антифризам
высокая
вязкость
двигателей
кислот
коррозии
поколения
растворов
силикаты
температурах
технологии
антифриз
видов
водно
водные
двигателя
европе
ингибиторов
использовании
использовать
качестве
компонентов
наиболее
натрия
Γλώσσα:
russian
Αρχείο:
PDF, 569 KB
0 / 0
russian
48
Семестровая контрольная работа по ТФКП

Семестровая контрольная работа по ТФКП

вычислить
разложить
ряд
степеням
точки
функции
лорана
iniz
вариант
ветвь
вычетов
государственный
границы
институт
интегралы
исследовать
кольца
кольце
контрольная
которому
курс
московский
окрестности
осенний
особые
плоскости
применяя
принадлежит
регулярная
семестр
семестровая
сходимости
теорию
технический
точка
тфкп
указать
университет
уч.г
физико
функцию
кривой
ctg
ttz
резом
тгг
37гг
3iz
coscx
cth
Έτος:
1998
Γλώσσα:
russian
Αρχείο:
DJVU, 24 KB
0 / 0
russian, 1998