Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

6
БуйБуй, Дмитро Борисович.
    Формалізація моделі "сутність-зв"язок" [Текст] : монографія / Д.Б. Буй, Л.М. Сільвейструк ; КНУТШ. — Київ : Київський університет, 2011. — 175, [1] с. : іл., табл.
ISBN 978-966-439-473-1

- Ключові слова:

логічне програмування, логическое программирование, logic programming ; математична логіка, математическая логика

- Теми документа

  • ББК науковий // Арифметичні пристрої. Логічні схеми
  • ББК науковий // Основи математики та математична логіка
  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 4 Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н-I - контрольний примірник 1 Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . кіб - кібернетики 80 Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . обм - обмін відділ 7 Перейти на сайт