Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: debian-science  ]

Paket: science-logic (1.14.2)

Links für science-logic

Screenshot

Debian-Ressourcen:

Quellcode-Paket debian-science herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Debian Science - Logik-Pakete

Dieses Metapaket ist Teil des Debian Pure Blends »Debian Science« und installiert Pakete mit Bezug zur Computational Logic. Es enthält Werkzeuge zur Umformung von Formeln und zur Lösung von Formeln für verschiedene Logiken, interaktive Beweissysteme (proof systems) usw.

Andere Pakete mit Bezug zu science-logic

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

science-logic herunterladen

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