Лифшиц Владимир Александрович

Доклады и лекции в базе данных Math-Net.Ru

1. Стабильные модели логическиx программ
   В. А. Лифшиц
   Заседания Санкт-Петербургского математического общества
   18 июня 2002 г.