Каталог файлов - Персональный сайт

Всего материалов в каталоге: 58
Показано материалов: 11-20

Страницы: « 1 2 3 4 5 6 »

Мои файлы | Просмотров: 213 | Загрузок: 18 | Добавил: alex_dorin | Дата: 05.04.2019

vampire 4.3.0 06/01/2019 часть 1

https://vprover.github.io/

make vampire_z3_rel

Мои файлы | Просмотров: 237 | Загрузок: 19 | Добавил: alex_dorin | Дата: 03.02.2019

vampire 4.3.0 06/01/2019 часть 2

https://vprover.github.io/

make vampire_z3_rel

Мои файлы | Просмотров: 265 | Загрузок: 18 | Добавил: alex_dorin | Дата: 03.02.2019

Мои файлы | Просмотров: 268 | Загрузок: 20 | Добавил: alex_dorin | Дата: 01.02.2019

VAMPIRE 4.3.0 часть 2
https://vprover.github.io/

make vampire_rel

Мои файлы | Просмотров: 278 | Загрузок: 20 | Добавил: alex_dorin | Дата: 08.11.2018

VAMPIRE 4.3.0 часть 1
https://vprover.github.io/

make vampire_rel

Мои файлы | Просмотров: 332 | Загрузок: 18 | Добавил: alex_dorin | Дата: 08.11.2018

http://www.philipp.ruemmer.org/princess.shtml

Мои файлы | Просмотров: 258 | Загрузок: 20 | Добавил: alex_dorin | Дата: 29.08.2018

http://zenon.inria.fr/

Мои файлы | Просмотров: 293 | Загрузок: 20 | Добавил: alex_dorin | Дата: 05.08.2018

vampire 4.3

http://www.cs.miami.edu/~tptp/CASC/J9/Entrants.html

make vampire_z3_rel

Мои файлы | Просмотров: 308 | Загрузок: 21 | Добавил: alex_dorin | Дата: 14.07.2018

https://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/download/

Мои файлы | Просмотров: 280 | Загрузок: 21 | Добавил: alex_dorin | Дата: 06.07.2018