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

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

6
KalsKalsbeek, Marianne Baukje.
    Meta-logics for logic programming [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / M.B. Kalsbeek; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — 150, [4] p.
ISBN 90-74795-37-4

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

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

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

  • ББК науковий // Арифметичні пристрої. Логічні схеми



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