Вы здесь

Главная

оператор

Связанные издания:

A Declarative Semantics for the PROLOG Cut Operator
A Hyperdoctrinal View of Concurrent Constraint Programming
Algebraic equivalences of nested relational operators
A Library of High Level Control Operators
Controlling and sequencing a heavily pipelined floating-point operator
Extended Set Operators for Nested Relations and Complex Objects
Favourite SQL-Statements - An Empirical Analysis of SQL-Usage in Commercial Applications
Finitary Relations and the Fair Merge
"Go to" - выражение из четырех букв
Guarded Constructive Disjunction: Angel or Demon?
Inductive Logic Programming: Revised Papers/19th International Conference, ILP 2009, Leuven, Belgium, July 2009
Inheritance Semantics of Deductive Object Base Language
Modeling Decisions for Artificial Intelligence: Proc./15th International Conference, MDAI 2018, Mallorca, Spain, October 2018
Negation as a Specializing Operator
On the Logic of Theory Base Change
PASCAL 8X - ein Konzept zur Weiterentwicklung anweisungsorientierter Programmiersprachen
Rough Sets: Proc./ International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 2018
Semantics of Data Streams and Operators
Terminable Statements and Destructive Computation
The Logic of the Godel Proof Predicate
Transactions on Rough Sets XIV
Treating Statement Sequences as Block Objects
Гентические операторы эволюционной модели для потоковой задачи Штейнера
Идеалы дифференциальных операторов и преобразования линейных уравнений с частными производными
Компиляции векторных операторов языка С[] для архитектур с моногоуровневой иерархией памяти
Константность информационно замкнутых операторов
К проблеме синтеза информационных объектов
Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
Об анализе побочных эффектов операторов в оптимизирую ем генераторе кода проекта СОКРАТ
Обоб енный подход к аксиоматической семантике операторов над последовательными файлами
Об одной пропозициональной логике с дополнительными операторами
Об операторах, линейных в конусах
О некоторых задачах, возникаю их при факторизации линейных обыкновенных дифференциальных операторов
Операторы в полиномиальных представлениях булевых функций
О периферийности факторизации линейных обыкновенных операторов
Оптимальные регуляризирующие операторы и некоторые задачи дифракции
Оптимальный алгоритм чистки регулярных гамаков
О решетках правых делителей линейных обыкновенных дифференциальных операторов
Ортогонализирую ие линейные операторы в выпуклом программировании. I
Ортогонализирую ие линейные операторы в выпуклом программировании. II
О схемах программ с перестановочными и монотонными операторами
Переопределение оператора NEW в С++
Препятствия к факторизации дифференциальных операторов с частными производными на несколько множителей
Разрешимость эквивалентности в множестве схем программ с монотонными и частично перестановочными операторами
Система преобразований, полная в классе схем программ с перестановочными операторами
Средства описания расчетных цепочек в языке системы ПНФ
Стандарт об ецелевого подмножества языка ПЛ/1. Операторы и встроенные функции
Теория линейных операторов