Книги — automated theorem proving

RU
Математическая логика и теория алгоритмов: учебное пособие

Математическая логика и теория алгоритмов: учебное пособие

A

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

Алгоритмы и теория