![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>K=ТЕОРЕМ$<.>+<.>K=КАРТАН$<.>) |
Загальна кількість знайдених документів : 1
|
1. |
Запитує: Дорин Александр Александрович (14.12.2012) Тема запиту: Здравствуйте! Пожалуйста, найдите труд Воронков А.А., Дегтярев А.Н. Автоматическое доказательство теорем Кибернетика, 1986 No 3, 1987 No 4. С уважением, А. Дорин г. Полтава ул Новопроэктированная 16 тел дом 053 2528036 раб 053 2516214 моб 095 1432083 |
|
|
|