Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000005305<.>) |
Загальна кількість знайдених документів : 1
|
Капитонова Ю. В. Дедуктивные средства системы алгебраического программирования / Ю. В. Капитонова, А. А. Летичевский, В. А. Волков // Кибернетика и систем. анализ. - 2000. - № 1. - С. 17-34. - Библиогр.: 8 назв. - рус.Математичне середовище - це система засобів, які підтримують інтерактивне маніпулювання знаннями, поданими у вигляді (формалізованих) математичних текстів. Теоретичним обгрунтуванням цього проекту є теорія взаємодії агентів та середовищ. Теорія реалізується на базі симулятора мови дій, розробленого в системі алгебричного програмування. Індекс рубрикатора НБУВ: З970.5-018
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|