Шифр см. у томов Handbook of automated reasoning / eds.: A. Robinson, A. Voronkov. - Amsterdam [et al.] : Elsevier ; Cambridge : MIT press, 2001 Перевод заглавия: Справочник по автоматическому мышлению
Рубрики: Компьютеры--Теория Математическая логика Доп.точки доступа: Robinson, Alan \ed.\; Voronkov, Andrei \ed.\ Свободных экз. нет |