Интернет-ресурс по формальным теориям

Первая помощь Что такое "Информационная система по формальным теориям Theo.ru"? Требования к программному обеспечению Как работать с системой? Карта сайта О проекте Последние обновления История создания и обновлений системы (2003-2005) История создания и обновлений объединенной системы (2008) О создателях системы Состояние системы Информация в БД формальных теорий Сервисы ИС по формальным теориям English version	Информационная система по формальным теориям Theo.ru
	К настоящему моменту информационная система предоставляет следующие возможности: доступ к БД через 3D-интерфейс; доступ к БД через набор фиксированных запросов; доступ к БД через систему интерактивного построения запросов и синтеза VRML-графов; представление результатов запросов в виде таблиц и статей на HTML, статей на TeX , графов VRML; некоторые возможности дедуктивного вывода (псевдодедукция); различные виды поиска по БД.