LINUXSOFT.cz
Nazwa użytkownika: Hasło:     
    CZ UK PL

> Isabelle

KOMENTARZE   Edytuj
Tylko zalogowany użytkownik może głosować. Na każdą pozycję można głosowaćtylko raz.
   Software > NAUKA/ matematyka

Isabelle jest popularnym narzędziem do udowadniania twierdzeń ogólnych na Uniwersytecie Cambrigde oraz TU Munich.

Data dodania: 20.8.2004 16:26
GUI: yes
Terminal: yes
Licencja: Freeware
Strona domowa: http://isabelle.in.tum.de/
Twórca: The Isabelle Team
Firma deweloperska: The Isabelle Team
Oprogramowanie alternatywne w Windows:

Wymagania instalacyjne (oprogramowanie):

Wymagania instalacyjne (sprzęt):


Ocena: jeszcze nie oceniono -  Pobierz


Typ pakietu Pobierz Rozmiar w kB
source http://isabelle.in.tum.de/[..]-linux.tar.gz 1291
source http://isabelle.in.tum.de/[..]-linux.tar.gz 7612
source http://isabelle.in.tum.de/[..]le2004.tar.gz 5518
source http://isabelle.in.tum.de/[..]l_base.tar.gz 2
source http://isabelle.in.tum.de/[..]eneral.tar.gz 1758
Dadane przez: John Smith

KOMENTARZE

Nie ma komentarzy dla tej pozycji.

Tylko zarejestrowani użytkownicy mogą dopisywać komentarze.
> Szukanie oprogramowania
1. Pacman linux
Download: 2941x
2. FreeBSD
Download: 6970x
3. PCLinuxOS-2010
Download: 6457x
4. alcolix
Download: 8609x
5. Onebase Linux
Download: 7452x
6. Novell Linux Desktop
Download: 0x
7. KateOS
Download: 4055x

1. spkg
Download: 1613x
2. LinPacker
Download: 6573x
3. VFU File Manager
Download: 1659x
4. LeftHand Mała Księgowość
Download: 5266x
5. MISU pyFotoResize
Download: 959x
6. Lefthand CRM
Download: 1880x
7. MetadataExtractor
Download: 0x
8. RCP100
Download: 1342x
9. Predaj softveru
Download: 0x
10. MSH Free Autoresponder
Download: 0x
11. Guitar Scale Expert
Download: 1421x
12. Jinja24Doc
Download: 0x
©Pavel Kysilka - 2003-2018 | mailatlinuxsoft.cz | Design: www.megadesign.cz