[ Quellcode: prover9-manual ]
Paket: prover9-doc (0.0.200902a-2.1)
Links für prover9-doc
Debian-Ressourcen:
Quellcode-Paket prover9-manual herunterladen:
- [prover9-manual_0.0.200902a-2.1.dsc]
- [prover9-manual_0.0.200902a.orig.tar.gz]
- [prover9-manual_0.0.200902a-2.1.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [www.cs.unm.edu]
Ähnliche Pakete:
Dokumentation für Prover9 und zugehörige Programme
Prover 9 ist ein automatisierter Theorem-Beweiser für Prädikatenlogik erster Stufe und Gleichungslogik. Er ist der Nachfolger des Beweisers Otter. Prover9 verwendet die Schlussfolgerungstechniken der geordneten Resolution und Paramodulation mit »literal selection«
Dieses Paket stellt Dokumentation für Prover9, Mace4 und andere zugehörige Programme bereit.
Andere Pakete mit Bezug zu prover9-doc
|
|
|
|
-
- sug: ladr4-apps
- Paket nicht verfügbar
-
- sug: prover9
- Paket nicht verfügbar
-
- sug: python
- Paket nicht verfügbar
prover9-doc herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 837,2 kB | 3.183,0 kB | [Liste der Dateien] |