all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: debian-science  ]

Package: science-logic (1.14.6)

Links for science-logic

Screenshot

Debian Resources:

Download Source Package debian-science:

Maintainers:

External Resources:

Similar packages:

pacchetti Debian Science per la logica

Questo metapacchetto fa parte del Debian Pure Blend "Debian Science" e installa i pacchetti relativi alla logica computazionale. Contiene strumenti per trasformazioni di formule, risolutori per formule specificate in varie logiche, sistemi di dimostrazione interattivi, ecc.

Other Packages Related to science-logic

  • depends
  • recommends
  • suggests
  • enhances

Download science-logic

Download for all available architectures
Architecture Package Size Installed Size Files
all 10.0 kB30.0 kB [list of files]