Вычислительные системы :  Сборник трудов Вып. 120, Логические методы в программировании / 
АН СССР, Сибирское отд. ин-т математики ; Ред. Ю.Л. Ершов, С.С. Гончаров и др. 
 - Новосибирск :  Ин-та математики СО АН СССР ,  1987. 
 - 159 с. 
<br/><br/><label>ISBN: </label> 01.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные системы