Пакет: prover9-doc (0.0.200902a-2.1)

Ссылки для prover9-doc

Ресурсы Debian:

Исходный код prover9-manual:

Сопровождающий:

Debian QA Group (Страница КК)

Внешние ресурсы:

Сайт [www.cs.unm.edu]

Подобные пакеты:

documentation for Prover9 and associated programs

Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection.

This package provides documentation for Prover9, Mace4 and other associated programs.

Теги: Использовался при создании: HTML, язык гипертекстовой разметки, Документы PDF, Роль: Документация

Другие пакеты, относящиеся к prover9-doc

зависимости

рекомендации

предложения

enhances

sug: ladr4-apps

Пакет недоступен
sug: prover9

Пакет недоступен
sug: python

Пакет недоступен

Загрузка prover9-doc

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
all	837,2 Кб	3 183,0 Кб	[список файлов]