Наукові публікації університету

Sequent forms of Herbrand theorem and their applications. Annals of Mathematics and Artificial Intelligence,


ID: 46473
Кількість показів: 45
дата змінення: 25.11.2014 19:59:11
Ким змінено (ім'я): (soi) Оксана Стич
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  37
Рік видання:  2006
Звітний рік:  2006
Видання:  Springer Netherlands
Автори,співробітники Університету:  Лялецький Олександр Вадимович
Кафедра / Відділ:  Теоретичної кібернетики
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору