Научные результаты лаборатории логических проблем информатики

Лаборатория логических проблем информатики основана в 1995 году на базе научно-исследовательских семинаров "Теория доказательств" и "Логические методы в информатике" (руководитель -- профессор С.Н.Артемов), работающих на Механико-математическом факультете Московского государственного университета с 1984 года.

Важнейшие научные достижения семинара/лаборатории:


Адрес: http://lpcs.math.msu.su/rus/lpcssa.htm
Изменения внесены 30.12.1997.

Мати Рейнович ПЕНТУС