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