Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
интервал
Связанные издания:
An Adequate First Order Interval Logic
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
Analyse semantique des congruences d intervalles
A Program Inverter for a Functional Language with Equality and Constructors
Interval Constraint Logic Programming
Reachability Analysis for Time Petri Nets Without Overlappings of Firing Intervals
Selecting the Checkpoint Interval in Time Warp Simulation
Signed Interval Logic
Интервалы и мультиинтервалы в недоопределенных вычислительных моделях