alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: debian-science  ]

Pakket: science-logic (1.14.5)

Verwijzigingen voor science-logic

Screenshot

Debian bronnen:

Het bronpakket debian-science downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

Debian Science Logic packages

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.

Andere aan science-logic gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

science-logic downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 10,2 kB31,0 kB [overzicht]