Книги по теме: доказательство теорем

Математическая логика и автоматическое доказательство теорем

Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли (1983)

1 250 ₽