Методика доказательства теорем для формальной системы ERM-модели

Add to "Quick Collection"

Description	Size	Format
Методика доказательства теорем для формальной системы ERM-модели	865 KB	Adobe Acrobat PDF	Read	Download

Title: Методика доказательства теорем для формальной системы ERM-модели
Creator: Бабанов, Алексей Михайлович
|
Скачкова, Анна Сергеевна
Contributor: Томский государственный университет Факультет информатики Кафедра программной инженерии
Date: 2010

Relationships: Show Relationship Browser for this Object
collection(s): Факультет информатики (до 01.09.2017 г.) | Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 2. С. 113-123
Language: rus

Created: 15-02-2012

1467 Visitors

1283 Hits

193 Downloads

Журналы ТГУ Методика доказательства теорем для формальной системы ERM-модели