Логическое программирование :  Сборник статей / 
Под ред. В.Н. Агафонова. 
 - Москва :  Мир ,  1988. 
 - 368 с. ;  22 см. 
 - Математическое обеспечение ЭВМ .
<br/><br/>Библиогр. в примеч. в конце ст. 
<br/><br/><label>ISBN: </label>5-03-000972-8  02.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическое программирование