Пошуковий запит: (<.>A=Кривой С$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
1. | Ж16833 Кривой С. Л. Доказательство теорем в логике первого порядка, унификация и совместность линейных констрейнтов [Текст]: 4 // Пробл. программир.-С.20-27
|
2. | Ж14024 Кривой С. Л. О реализации алгоритмов проверки совместности систем линейных диофантовых уравнений в области натуральных чисел [Текст]: 3 // Управляющие системы и машины.-С.26-32
|
3. | Ж16833 Кривой С. Л. Алгебра связных графов и проектирование топологии компьютерных сетей [Текст]: 2-3 [спец. вип.] // Пробл. програмув.-С.35-42
|
4. | Ж14024 Кривой С. Л. Бинарные диаграммы решений и обработка запросов в реляционной базе данных [Текст]: 2 // Управляющие системы и машины.-С.48-55
|
5. | Ж14024 Палагин А. В. Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация [Текст]: 3 // Управляющие системы и машины.-С.42-55
|
6. | Ж23045 Палагин А. В. Концептуальные графы и семантические сети в системах обработки естественно-языковой информации [Текст]: 3 // Мат. машини і системи.-С.67-79
|
7. | Ж14161 Гудыменко А. И. Исследование плазмонных пленочных наноструктур золота методами рентгеновской рефлектометрии и дифрактометрии [] // Металлофизика и новейшие технологии, 2015. т.Т. 37,N № 9.-С.1215-1223
|