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