wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: debian-science  ]

Pakiet: science-logic (1.14.6)

Odnośniki dla science-logic

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego debian-science:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Pakiety do logiki naukowej w Debianie

Ten metapakiet jest częścią Debian Pure Blend "Debian Science" i instaluje pakiety związane z logiką obliczeniową. Zawiera narzędzia do przekształcania formuł, solwery dla formuł określonych w różnych logikach, interaktywne systemy sprawdzające itp.

Inne pakiety związane z science-logic

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie science-logic

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 10,0 KiB30,0 KiB [lista plików]