tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: debian-science  ]

Paket: science-logic (1.14.6)

science-logic için bağlantılar

Screenshot

Debian Kaynakları:

debian-science Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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.

science-logic ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

science-logic indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 10,0 kB30,0 kB [dosya listesi]