Package: prover9-doc (0.0.200902a-2)

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:

documentazione per Prover9 e programmi associati

Prover9 è uno strumento automatico per la dimostrazione di teoremi del primo ordine e di logica equazionale. È un successore del dimostratore Otter. Prover9 usa le tecniche di inferenza di risoluzioni ordinate e la paramodulazione con selezione di letterali.

Questo pacchetto fornisce la documentazione per Prover9, Mace4 e altri programmi associati.

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

Other Packages Related to prover9-doc

depends

recommends

suggests

enhances

sug: ladr4-apps

libreria per deduzioni LADR - applicazioni varie
sug: prover9

strumento per dimostrazione di teoremi e generazione di contromodelli
sug: python

linguaggio interattivo di alto livello orientato agli oggetti (versione Python 2)

Download prover9-doc

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