Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: debian-science  ]

Paketti: science-logic (1.14.7)

Links for science-logic

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti debian-science:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin science-logic liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi science-logic

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 10.1 kt31.0 kt [tiedostoluettelo]