Вы здесь

Задача разложимости элементарных теорий и проблематика минимализации их аксиом

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2006
Стр.: 
С.213-215
Библиография: 
Библиогр.: c.215
Место издания: 
Карточка: 

Б2.

Пономарев Д. К..

Задача разложимости элементарных теорий и проблематика минимализации их аксиом-Новосибирск.// Технологии Microsoft в теории и практике программирования, 2006.-С.213-215
Библиогр.: c.215

Таблица в старой библиотеке: 
ISI2 744