| Главная » Файлы » Мои файлы |
| В категории материалов: 77 Показано материалов: 61-70 |
Страницы: « 1 2 ... 5 6 7 8 » |
Сортировать по: Дате · Названию · Рейтингу · Комментариям · Загрузкам · Просмотрам
|
проблема TPTP Af Ad Ar(FNE(f,d,r) <=> F3(f,d,r)) Эквивалентность функции по Есенину-Вольпину и по Расеве, Сикорскому. |
|
ZENON 0.8.0 x64 |
|
Vampire 2.6 x64 http://www.cs.miami.edu/~tptp/CASC/J8/Entrants.html
|
|
Vampire 4.0 x64 часть2 http://www.cs.miami.edu/~tptp/CASC/J8/Entrants.html |
|
Vampire 4.0 x64 часть1 http://www.cs.miami.edu/~tptp/CASC/J8/Entrants.html |
|
Handbook of Automated Reasoning 2001 by J. Alan Robinson (Editor), Andrei Voronkov (Editor) |
|
Г.В.Давыдов, С.Ю.Маслов, Г.Е.Минц, |
|
С. Ю. Маслов, “Обратный метод установления выводимости для логических исчислений”, Тр. МИАН СССР, 98, 1968, 26–87 |
|
Коэн П. Теория множеств и континуум-гипотеза
|
|
Френкель А. Бар-Хиллел И. Основания теории множеств
|