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

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

401
Иссл    Исследования по формализованным языкам и неклассическим логикам [Текст] / Академия наук СССР ; Гос. комитет Совета Министров СССР по науке и технике ; Всесоюзный ин-т науч. и технич. информации ; [отв. ред. Д.А. Бочвар]. — Москва : Наука, 1974. — 275 с.

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

  • ББК науковий // Загальнотеоретичні проблеми мовознавства
  • ББК науковий // Лингвистические вопросы информационных языков и языков программирования. Лингвистические аспекты автоматических систем управления. Соотношение естественных и искусственных языков, лингвистические вопросы диалоговых систем
  • ББК науковий // Неклассическая логика
  • ББК науковий // Основи математики та математична логіка
  • ББК науковий // Прикладна лінгвістика
  • ББК науковий // Теорія науково-інформаційної діяльності



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