[ Paquet source : prover9-manual ]
Paquet : prover9-doc (0.0.200902a-2)
Liens pour prover9-doc
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source prover9-manual :
- [prover9-manual_0.0.200902a-2.dsc]
- [prover9-manual_0.0.200902a.orig.tar.gz]
- [prover9-manual_0.0.200902a-2.debian.tar.gz]
Responsable :
Ressources externes :
- Page d'accueil [www.cs.unm.edu]
Paquets similaires :
documentation pour Prover9 et programmes associés.
Prover9 est un démonstrateur de théorème automatique de calcul des prédicats du premier ordre. C’est un successeur du démonstrateur Otter. Prover9 utilise les techniques d’inférence de résolution et paramodulation ordonnées avec sélection de littéraux.
Ce paquet fournit la documentation pour Prover9, Mace4 et d’autres programmes associés.
Autres paquets associés à prover9-doc
|
|
|
|
-
- sug: ladr4-apps
- bibliothèque de déduction LADR – diverses applications
-
- sug: prover9
- démonstrateur de théorème et générateur de contre-exemples
-
- sug: python
- langage interactif de haut niveau orienté objet (version Python2)
Télécharger prover9-doc
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 946,3 ko | 3 118,0 ko | [liste des fichiers] |