Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313
Електронний каталог
Миколаївська обласна бібліотечна асоціація
Ресурси бібліотек міста Миколаєва

Фонд Наукової бібліотеки МНУ ім. В. Сухомлинського- результаты поиска

Головна - e-catalog.mk.ua

база даних містить 21221 бібліографічних записів

База даних

Науково-педагогічної бібліотеки
Центральної бібліотеки ім.М.Л. Кропивницького
Миколаївської обласної бібліотеки для дітей ім. В. Лягіна
Центральної бібліотеки для дітей ім. Ш. Кобера і В. Хоменко
Наукової бібліотеки МНУ ім. В. Сухомлинського
Миколаївської обласної бібліотеки для юнацтва
 		Вид пошуку: СтандартнийРозширений
Область пошуку
Формат відображення документів:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=модальна логіка, модальная логика<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Солодухин О.А.
    Логика изменений и моральная логика [Текст] / Солодухин О.А. - Ростов-на-Дону : Издательство Ростовского университета, 1989. - 144 с. - 1р.60коп. р.

Рубрики: 87.4 Логіка,  зміни, изменения,  логіка, логика,  модальна логіка, модальная логика
Знайти подібні документи / URL: посилання на документ
2.


   
    Логический подход к искусственному интеллекту: От классической логики к логическому программированию [Текст] . - М. : Мир, 1990. - 431 с. - 15 грн. 00 коп. р.

Рубрики: аксіоматика, аксиоматика,  алгоритми, алгоритмы, algorithms,  кібернетика, кибернетика,  логіка предикатів, логика предикатов,  логіка, логика,  логічне програмування, логическое программирование,  мови програмування, языки программирования, computer program language,  модальна логіка, модальная логика,  теорія алгоритмів, теория алгоритмов,  Турбо Пролог,  формальна логіка, формальная логика,  штучний інтелект, искусственный интеллект
Знайти подібні документи / URL: посилання на документ
Институт медленного и болезненного выяснения самых очевидных вещей