पुस्तकें — automated theorem proving

RU
गणितीय तर्क और एल्गोरिदम सिद्धांत: एक पाठ्य सहायक

गणितीय तर्क और एल्गोरिदम सिद्धांत: एक पाठ्य सहायक

A

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

एल्गोरिदम और सिद्धांत