| Ч 43 |
Математическая логика и автоматическое доказательство теорем [Текст] : Пер. с английского. – М. : Наука, 1983. – 360с. – (Математическая логика и основания математики). – 8500.
Посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод известен и широко используется в работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". |
