К упрощению сколемовых функций в булевых формулах с кванторами

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to Quick Collection

Description	Size	Format
К упрощению сколемовых функций в булевых формулах с кванторами	351 KB	Adobe Acrobat PDF	View Details	Download

Title: К упрощению сколемовых функций в булевых формулах с кванторами
Creator: Шатилов, Никита Петрович
Creator: Громов, Максим Леонидович
Contributor: Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ
Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Subject: квантифицированные булевы формулы
сколемовые функции
Date: 2012

Relationships: Show Relationship Browser for this Object
collection(s): Радиофизический факультет
Журналы ТГУ
Identifier: vtls:000449453
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000449453
Type: статьи в журналах
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 321-322
Language: rus

866 Visitors

623 Hits

257 Downloads

Preview

Журналы ТГУ К упрощению сколемовых функций в булевых формулах с кванторами