Package: prover9-doc (0.0.200902a-2.1)

Links for prover9-doc

Debian Resources:

Download Source Package prover9-manual:

Maintainer:

Debian QA Group (QA Page)

External Resources:

Homepage [www.cs.unm.edu]

Similar packages:

dokumentation for Prover9 og associerede programmer

Prover9 foretager automatiserede bevisudførelser for teoremer i prædikatlogik og ligningslogik. Det er efterfølgeren for Otter- bevissystemet for teoremer. Prover9 bruger de samme slutningsteknikker for ordnede resolutioner og paramodulering med udvælgelse af literaler.

Denne pakke tilbyder dokumentation for Prover9, Mace4 og andre associerede programmer.

Tags: Made Of: HTML, Hypertext Markup Language, PDF Documents, Role: Documentation

Other Packages Related to prover9-doc

depends

recommends

suggests

enhances

sug: ladr4-apps

Package not available
sug: prover9

Package not available
sug: python

Package not available

Download prover9-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	837.2 kB	3,183.0 kB	[list of files]