Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Журнали та продовжувані видання - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (31)Автореферати дисертацій (1)Реферативна база даних (33)Книжкові видання та компакт-диски (95)
Пошуковий запит: (<.>U=В121$<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
      
Категорія: Фізико-математичні науки   
1.
Ж66583/1996/30
Институт математики им. С.Л.Соболева СО РАН.
Труды Института математики им. С.Л.Соболева СО РАН [Текст] / РАН. СО. - Новосибирск. - ISSN 0208-0060.
1996, Т.30 : Вопросы алгебры и логики / ред. Ю. Ершов, В. Мазуров. - Новосибирск : [б.в.], 1996. - 192 с. (Труды Института математики им. С.Л.Соболева СО РАН, ISSN 0208-0060 ; 1996, Т.30). - ISBN 5-86134-019-6

Рубрики:
 Математична логіка 
 Алгебра 

Географічні рубрики:
 Російська Федерація (РФ). Росія 




1996
Т. 30

Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
2.
Ж69501

Логика и компьютер , М. Сер, "Кибернетика: неограниченные возможности и возможные ограничения".- Отримується з 1997.
      
Категорія: Фізико-математичні науки   
3.
Ж36664/1999/2180
Wrocław. Uniwersytet.
Acta Universitatis Wratislaviensis [Text] / Wrocław. Uniwersytet. - Wrocław : Wyd-wo Uniw. Wrocławskiego, 1962 - . - Скорочена назва : AUW. - ISSN 0239-6661.
1999, N.2180 : Logika. T.19 / red. J. Hawranek. - Wrocław : Wyd-wo Uniw. Wrocławskiego, 1999. - 100 s. - (Logika ; t.19) (Acta Universitatis Wratislaviensis, ISSN 0239-6661 ; 1999, N.2180). - Bibliogr. v kinci st. - ISBN 83-229-1967-0

Рубрики:
 Математична логіка 

Географічні рубрики:
 Польща 




1999
№ 2180

Видання зберігається у :

      
Категорія: Фізико-математичні науки   
4.
Ж36664/1999/2190
Wrocław. Uniwersytet.
Acta Universitatis Wratislaviensis [Text] / Wrocław. Uniwersytet. - Wrocław : Wyd-wo Uniw. Wrocławskiego, 1962 - . - Скорочена назва : AUW. - ISSN 0239-6661.
№ 2190 : Aspects of refutation procedures in the intuitionistic logic and related modal systems / T. Skura. - Wrocław : Wydaw. Uniw. Wrocławskiego, 1999. - 84 p. - (Logika ; t.20) (Acta Universitatis Wratislaviensis, ISSN 0239-6661 ; № 2190). - Bibliogr.: P.83-84. - ISBN 83-229-1985-9

Рубрики:
 Математична логіка 

Географічні рубрики:
 Польща 




1999
№ 2190

Видання зберігається у :

      
Категорія: Фізико-математичні науки   
5.
Ж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. - ISBN 978-83-226-1717-5
Rez.: pol., ger.

Рубрики:
 Математична логіка 
 Некласичні логічні системи 




2007
Nr. 2554

Видання зберігається у :
Основний фонд

 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського