Balík: prover9-doc (0.0.200902a-2)

Odkazy pre prover9-doc

Zdroje Debian:

Stiahnuť zdrojový balík prover9-manual:

Správca:

Debian QA Group (Stránka QA)

Externé zdroje:

Domovská stránka [www.cs.unm.edu]

Podobné balíky:

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.

Značky: Made Of: HTML, Hypertext Markup Language, PDF Documents, Role: Dokumentácia

Ostatné balíky súvisiace s balíkom prover9-doc

závisí

odporúča

navrhuje

vylepšuje

sug: ladr4-apps

the LADR deduction library, miscellaneous applications
sug: prover9

theorem prover and countermodel generator
sug: python

interaktívny vysokoúrovňový objektovo orientovaný jazyk (verzia python2)

Stiahnuť prover9-doc

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	946.3 kB	3,118.0 kB	[zoznam súborov]