Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 2 результатів із 2 для пошуку '', час виконання запиту: 0.01сек. Уточнити результати
  1. 1
    О применении композиционно-номинативных логик в инсерционном моделировании
    за авторством Никитченко, Н.С., Тимофеев, В.Г.
    Опубліковано 2012
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Система доказательного программирования
    за авторством Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
    Опубліковано 2012
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук – Розклад для Розсилок: Не застосовувати