Математическая логика и автоматическое доказательство теорем (146120) - Ч. Чень, Р. Ли
€10,63
Прескочи към информацията за продукта
Математическая логика и автоматическое доказательство теорем (146120) - Ч. Чень, Р. Ли
€10,63
Математическа логика и автоматическо доказателство теорем (146120) - Ч. Чень, Р. Ли е академична книга, която съчетава основите на математическата логика и подходите за автоматично доказване на теореми. Продуктът се предлага от Антикварен магазин - Флимаркет.
- Каталожен номер: 146120
- Тема: Математическа логика и автоматическо доказателство на теореми
- Автори: Ч. Чень, Р. Ли
- Тип продукт: Антикварна книга
- Продавач: Антикварен магазин - Флимаркет
Тази книга дава основи и концепции за математическата логика и автоматизираното доказване на теореми, което я прави полезна за студенти и изследователи в области като теоретична информатика, логика и математическа логика. Каталожният номер улеснява идентификацията в каталози на антикварни издания, което я прави подходящо допълнение към колекция от академична литература.