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