Видання

Coleção CLE


ID: 218859
Кількість показів: 129
дата змінення: 13.11.2018 18:57:43
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Видано:  закордоном
Місце знаходження:  Brazil


Публікації у виданні





Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Coleção CLE
c.203-251

Повернення до списку

Вгору