Paket: prover9-doc (0.0.200902a-2.1)

Links für prover9-doc

Debian-Ressourcen:

Quellcode-Paket prover9-manual herunterladen:

Betreuer:

Debian QA Group (QS-Seite)

Externe Ressourcen:

Homepage [www.cs.unm.edu]

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.

Markierungen: Hergestellt aus: HTML, Hypertext Markup Language (Hypertext-Auszeichnungssprache), PDF-Dokumente, Rolle: Dokumentation

Andere Pakete mit Bezug zu prover9-doc

hängt ab von

empfiehlt

schlägt vor

erweitert

sug: ladr4-apps

Paket nicht verfügbar
sug: prover9

Paket nicht verfügbar
sug: python

Paket nicht verfügbar

prover9-doc herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	837,2 kB	3.183,0 kB	[Liste der Dateien]