检索结果 - "теорем"
在您的搜寻 主题建议
在您的搜寻 主题建议
- логика высказываний 3
- аксиоматический метод 2
- виды теорем 2
- доказательство теорем 2
- исчисление высказываний 2
- метод резолюций 2
- теории первого порядка 2
- формальные теории 2
- arev 1
- bera mono 1
- bookman 1
- boxplot 1
- calligra 1
- charter 1
- computer modern bright 1
- concrete roman 1
- courier 1
- helvetica 1
- inconsolata 1
- kp-fonts 1
- kurier 1
- latin modern 1
- miama nueva 1
- new century schoolbook 1
- np-трудные и np-полные задачи 1
- p-листные отображения 1
- palatino 1
- times roman 1
- автоматическое доказательство теорем 1
- автоматическое доказывание теорем 1
-
1
-
2
-
3
Дискретная математика. Часть 1
出版 Москва, РТУ МИРЭА, 2023主题: “...автоматическое доказывание теорем...”
获取全文
获取全文
电子 图书 -
4
-
5
-
6
-
7
Методы искусственного интеллекта учебно-методическое пособие
出版 Москва, РТУ МИРЭА, 2023主题: “...доказательство теорем...”
获取全文
获取全文
电子 图书 -
8
-
9
-
10
-
11
Математическая логика и теория алгоритмов учебное пособие
出版 Самара, ПГУТИ, 2024主题: “...автоматическое доказательство теорем...”
获取全文
获取全文
电子 图书