Solving problems on finite concrete logics with the help of a PC

Sultanbekov F.

Solving problems on finite concrete logics with the help of a PC

Sultanbekov F.

URI: https://dspace.kpfu.ru/xmlui/handle/net/133285

Дата: 1998

Аннотации:

Three routines which may be used in the computer treatment of general finite concrete logics are described. The results for some particular finite concrete logics are presented.

Показать полную информацию

Файлы в этом документе

Имя: SCOPUS00207748-19 ...

Размер: 42.62Kb

Формат: PDF

Открыть

Данный элемент включен в следующие коллекции

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.