Исследование сложностных характеристик выводов в логических и логико-математических системах : Автореф. дис. ... д-р физ.-мат. наук : 01.01.09 / ИПИА НАН РА.
By: Чубарян, Анаит Арташесовна.
Contributor(s): Институт проблем информатики и автоматизации НАН РА.
Material type:
BookPublisher: Ереван :, 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 |
С диссертацией можно ознакомиться в библиотеке ИПИА НАН РА
ИПИА НАН РА