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

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

Balík nie je dostupný
sug: prover9

Balík nie je dostupný
sug: python

Balík nie je dostupný

Stiahnuť prover9-doc

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