Логика и компьютер :  Моделирование рассуждений и проверка правильности программ / 
Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. ; Науч. ред. Е.Д. Смирнова ; АН СССP. 
 - Москва :  Наука ,  1990. 
 - 238,[1] с. :  ил. ;  20 см. 
 - Кибернетика - неограниченные возможности и возможные ограничения .
<br/><br/> Авт. указаны на обороте тит. л. 
<br/><br/>Библиогр.: с. 231-235 (52 назв.) 
<br/><br/><label>ISBN: </label>5-02-007156-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные машины--Программирование--Логические основы