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

Search

Your search returned 3 results.

	1.	Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий] by Капитонова, Юлия Владимировна \| Кривой, Сергей Лукьянович \| Летичевский, Александр Адольфович \| Луцкий, Георгий Михайлович. Material type: Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Системы искусственного интеллекта учебное пособие : [для бакалавров и магистров по направлению 27.00.00 "Управление в технических системах"] М. В. Бураков by Бураков, Михаил Владимирович. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Проспект 2017Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Интеллектуальные информационные системы [учебное пособие для студентов 3-го, 4-го курсов очной формы обучения бакалавров, специалистов и магистров по направлениям подготовки: 09.03.02 и 09.04.02 "Информационные системы и технологии", 10.03.01 и 10.04.01 "Информационная безопасность" и специальности 10.05.03 "Информационная безопасность автоматизированных систем"] В. В. Анисимов, Р. А. Ешенко ; Дальневост. гос. ун-т путей сообщения, Каф. "Информационные технологии и системы" by Анисимов, Владимир Викторович \| Ешенко, Роман Анатольевич. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Хабаровск Издательство ДВГУПС 2017Availability: No items available : Log in to add tags Add to cart (remove)