Paketti: prover9-doc (0.0.200902a-2.1)

Links for prover9-doc

Debian-palvelut:

Imuroi lähdekoodipaketti prover9-manual:

Ylläpitäjä:

Debian QA Group (Laadunvalvontasivu)

External Resources:

Kotisivu [www.cs.unm.edu]

Samankaltaisia paketteja:

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.

Tagit: Made Of: HTML, Hypertext Markup Language, PDF Documents, Role: Käyttöohjeet

Muut pakettiin prover9-doc liittyvät paketit

depends

recommends

suggests

enhances

sug: ladr4-apps

Paketti ei saatavilla
sug: prover9

Paketti ei saatavilla
sug: python

Paketti ei saatavilla

Imuroi prover9-doc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	837.2 kt	3,183.0 kt	[tiedostoluettelo]