Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником

Бази даних


Електронна картотека аналітичного опису статей - результати пошуку

Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Знайдено у інших БД:Електронний каталог книг (17)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>S=Вища математика<.>)
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.


   
    Системы Theorema и автоматизация дедукции: сравнительный анализ [Текст] / А. В. Анисимов, Т. Джебелян, А. В. Лялецкий, Н. Попов // Управляющие системы и машины. - 2011. - № 4 . - С. 59-63, 77. - Библиогр.: с. 63 . - ISSN 0130-5395
УДК
004.8:510.62:63
Рубрики: Вища математика
Кл.слова (ненормовані):
математичні знання -- система Theorema -- порівняльний аналіз


Дод.точки доступу:
Анисимов, А. В.; Джебелян, Т.; Лялецкий, А. В.; Попов, Н.
Є примірники у відділах: всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)

Знайти схожі
2.


    Мішура, Ю. С.
    Про невласні інтеграли і асимптотичну поведінку розв`язків диференціальних рівнянь [Текст] / Ю. С. Мішура, Г. М. Шевченко // У світі математики. - 2013. - № 4. - С. 18-24 : рис. - Бібліогр.: с. 24 . - ISSN 1029-4171
Рубрики: Вища математика
Кл.слова (ненормовані):
диференціальні рівняння -- диференціальне рівняння другого порядку -- невідома функція -- невласні інтеграли першого роду


Дод.точки доступу:
Шевченко, Г. М.

Є примірники у відділах: всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)

Знайти схожі
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)