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