ՀԱՊՀ Գրադարանի Գրացուցակ = NPUA Library Catalog

Normal view MARC view ISBD view

Исследование сложностных характеристик выводов в логических и логико-математических системах : Автореф. дис. ... д-р физ.-мат. наук : 01.01.09 / ИПИА НАН РА.

By: Чубарян, Анаит Арташесовна.
Contributor(s): Институт проблем информатики и автоматизации НАН РА.
Material type: materialTypeLabelBookPublisher: Ереван :, 2007Description: 30 с.Other title: Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում : Սեղմագիր ֆիզ.-մաթ. գիտ. դոկտ. ... ատենախոսության : Ա.01.09 [Parallel title].Subject(s): Математическая кибернетика и математическая логика | Поиск вывода и проблемы разрешения в логических и логико-математических исчисленияхGenre/Form: ThesisDissertation note: ИПИА НАН РА
Item type Current location Collection Call number Status Notes Date due Barcode
Author's Abstracts Dissertations Reading Room 519.7+510.66(043.3) Ч-81 (Browse shelf) In House One Hour Loan EU0296837

С диссертацией можно ознакомиться в библиотеке ИПИА НАН РА

ИПИА НАН РА

Powered by Koha