Книжкові видання Журнали та продовжувані видання Зарубіжна україніка Картографічні видання Стародруковані карти Рукописні карти Електронна колекція карт Ноти та музичні видання Підручний фонд відділу стародруків Інкунабули Палеотипи Кириличні стародруки Видання гражданського друку Листівки періоду (1880-1945 рр.) Рідкісні видання Цифрова бібліотека
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Журнали та продовжувані видання Розширений пошук |
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В128$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
1. |
Ж69501/1997/4 | Логика и компьютер. Сер., "Кибернетика: неограниченные возможности и возможные ограничения" [Текст] / РАН. - М. : "Наука", 1963 - . 1997, №4 : Многозначные логики / А. С. Карпенко. - М. : "Наука", 1997. - 223 с.: ил. (Логика и компьютер. - Сер "Кибернетика: неограниченные возможности и возможные ограничения" ; 1997, №4).
Тематичний рубрикатор:
Дод. точки доступу: РАН
| 1997 | | Вып. 4
|
Видання зберігається у :
Основний фонд
| 2. |
Ж14985:Биб.ж./2003/6 | Информационные технологии [Текст] : библиотечка журнала / гл. ред. И. П. Норенков. - М. : Машиностроение, 1995 - . - Скорочена назва : ИТ. 2003, №6 : Алгебраические логики: взаимоотношения, законы и свойства / Л. И. Волгин. - М. : Машиностроение, 2003. - 24 с. (Информационные технологии ; 2003, №6).
Тематичний рубрикатор:
Дод. точки доступу: Норенков, И. П. \гл. ред.\
| 2003 | | № 6
|
Видання зберігається у :
Основний фонд
| 3. |
Ж14985:Биб.ж./2000/11 | Информационные технологии [Текст] : библиотечка журнала / гл. ред. И. П. Норенков. - М. : Машиностроение, 1995 - . - Скорочена назва : ИТ. 2000, №11 : Непрерывная логика: элементы теории и применение / В. Левин. - М. : Машиностроение, 2000. - 24 с. (Информационные технологии ; 2000, №11).
Тематичний рубрикатор:
Дод. точки доступу: Норенков, И. П. \гл. ред.\
| 2000 | | № 11
|
Видання зберігається у :
Основний фонд
| 4. |
Ж38067/2007/2554 | Katowice. Uniwersytet Śląski. Prace naukowe Uniwersytetu Śląskiego w Katowicach [Text] / red. Z. Żmigrodzki. - Katowice : WUS. - ISSN 0208-6336. 2007, N.2554 : Unification types in logic / W. Dzik. - Katowice : WUS, 2007. - 192 p. (Prace naukowe Uniwersytetu Śląskiego w Katowicach, ISSN 0208-6336 ; 2007, N.2554). - Bibliogr.: p.180-186.
Тематичний рубрикатор:
Дод. точки доступу: Żmigrodzki, Zbigniew \red.\; Katowice. Uniwersytet Śląski
| 2007 | | Nr. 2554
|
Видання зберігається у :
Основний фонд
| 5. |
Ж37624/1997/2 | Akademie věd České Republiky. Studie AV ČR [Text] / Akademie věd České Republiky. - Praha : AVČR. - ISSN 0577-3652. 1997, N.2 : K problematice vágnosti v humanitních vědách / Z. Půlpán. - Praha : AVČR, 1997. - 152 s. (Studie AV ČR, ISSN 0577-3652 ; 1997, N.2). - Bibliogr.: s.145-147.
Тематичний рубрикатор:
Дод. точки доступу: Akademie věd České Republiky
| 1997 | | N. 2
|
Видання зберігається у :
Основний фонд
| 6. |
Ж36515:B/2010/445 | Uniwersytet Opolski. Studia i monografie [Uniwersytet Opolski] [Text] / Uniwersytet Opolski (Opole). - Opole : Wyd-wo Uniw. Opolskiego. - ISSN 1233-6408. Nr. 445 : Metody refutacyjne w badaniach nad systemami logicznymi / Robert Sochacki. - Opole : [s. n.], 2010. - 121 s. (Studia i monografie [Uniwersytet Opolski], ISSN 1233-6408 ; Nr. 445). - Рез. англ. - Бібліогр.: с.113-118 .
Тематичний рубрикатор:
Дод. точки доступу: Uniwersytet Opolski
| 2010 | | Nr. 445
|
Видання зберігається у :
Основний фонд
|
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського
|
|
|