Научная библиотека ТГУ catalog › Results of search for 'su:"модальные логики"'

Search

Your search returned 9 results.

	1.	Логика учебник : [для студентов вузов, преподавателей] А. Д. Гетманова by Гетманова, Александра Денисовна. Series: Университетский учебникEdition: 13-е изд., стер.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2008Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Логика учебник : [для студентов вузов] А. Д. Гетманова by Гетманова, Александра Денисовна. Series: Университетский учебникEdition: 16-е изд., стер.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2011Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Логика учебник [для вузов] А. Д. Гетманова by Гетманова, Александра Денисовна. Series: Университетский учебникEdition: 15-е изд., стер.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2010Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Формальная теория структурных моделей описания информационных систем и методы установления выводимости диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01 Новосельцев Виталий Борисович ; Том. политехн. ун-т by Новосельцев, Виталий Борисович \| Томский политехнический университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2006Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям] Ю. А. Аляев, С. Ф. Тюрин by Аляев, Юрий Александрович \| Тюрин, Сергей Феофентович. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Финансы и статистика 2006Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Логические исследования Вып. 12 [сборник статей Рос. акад. наук, Ин-т философии ; редкол.: А. С. Карпенко (отв. ред.) и др.] by Карпенко, Александр Степанович, 1946- [edt] \| Институт философии (Москва) [com]. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 2005Other title: Logical investigations.Availability: No items available : Log in to add tags Add to cart (remove)
	7.	Достоверный и правдоподобный вывод в интеллектуальных системах В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина ; под ред. В. Н. Вагина, Д. А. Поспелова by Вагин, Вадим Николаевич \| Головина, Елена Юрьевна \| Загорянская, Анастасия Анатольевна \| Фомина, Марина Владимировна \| Поспелов, Дмитрий Александрович [edt]. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Физматлит 2004Availability: No items available : Log in to add tags Add to cart (remove)
	8.	Логика учебник для бакалавров : [для студентов вузов] А. Д. Гетманова by Гетманова, Александра Денисовна. Series: Бакалавр - МагистрEdition: 18-е изд., испр.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2014Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Логический подход к искусственному интеллекту от модальной логики к логике баз данных А. Тейз, П. Грибомон, Г. Юлен [и др.] ; пер. с фр. Г. П. Гаврилова ; под ред. Г. П. Гаврилова by Тейз, Андре \| Грибомон, Паскаль \| Юлен, Ги. Material type: Text; Format: print Language: Russian Original language: French Publication details: Москва Мир 1998Other title: Approche logique de l'intelligence artificielle De la logique modale a la logique des bases de donnees.Availability: No items available : Log in to add tags Add to cart (remove)