Languages
English
Русский
Navigation
Home
About journal
Publication Ethics
Articles
Guidelines for Authors
Authors
Archive
Contacts
Кривой С. Л.
Журнал:
ТВИМ 2006 №1
Усовершенствованный метод проверки выполнимости множества дизъюнктов в языке L.