Реализация обратного метода установления выводимости для модальной логики КТ Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01

Bibliographic Details
Main Author:	Бурлуцкий, Владимир Владимирович
Corporate Author:	Томский государственный университет
Other Authors:	Новосельцев, Виталий Борисович (Thesis advisor, науч. рук.)
Format:	Book
Language:	Russian
Published:	Томск б. и. 2001
Subjects:	диссертации. модальная логика. Маслова метод. обратный метод. логические выводы. семантика. синтаксис. мультимножества. секвенция. задачи поиска вывода. алгоритмы поиска. неклассические логики. программы автоматического поиска доказательств. логика знания. базы знаний.
Online Access:	Перейти в каталог НБ ТГУ

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-876968к 51
	Available Place a Hold

Similar Items