Вы здесь

Pesant G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ QUAD-CLP(R): Adding the Power of Quadratic Constraints 1994 Pesant G., Boyer M. Lecture Notes in Computer Science 22.12.1994

Редактор: