Научная библиотека ТГУ catalog › Results of search for '81023'

Search

Your search returned 2 results.

	1.	No cover image available К упрощению сколемовых функций в булевых формулах с кванторами Н. П. Шатилов, М. Л. Громов by Шатилов, Никита Петрович \| Громов, Максим Леонидович \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами Н. П. Шатилов, М. Л. Громов by Шатилов, Никита Петрович \| Громов, Максим Леонидович \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)