TY  - BOOK
AU  - Ершов,Андрей Петрович
TI  - Математическая теория программирования: Советско-болгарский сборник научных трудов 
PY  - 1985///
CY  - Новосибирск
PB  - АН СССР. Сиб. отд-ние. ВЦ
KW  - Математическая логика
KW  - Математическое программирование
ER  -