Вид документа : Многотомное издание Шифр издания : Шифр см. у томов Заглавие : Handbook of automated reasoning Выходные данные : Amsterdam; London; New York: Elsevier; Cambridge: MIT press, 2001 ISBN, Цена 0-444-50813-9: Б.ц. ISBN, Цена 0-262-18223-8: Б.ц. ГРНТИ : 50.07 + 27.03 ББК : З 973.2-01я22 + В12я22 Предметные рубрики: Компьютеры-- Теория Математическая логика Доп.точки доступа: Robinson, Alan \ed.\; Voronkov, Andrei \ed.\