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: 2555x
2. FreeBSD
Download: 6615x
3. PCLinuxOS-2010
Download: 6034x
4. alcolix
Download: 8293x
5. Onebase Linux
Download: 7071x
6. Novell Linux Desktop
Download: 0x
7. KateOS
Download: 3758x

1. VFU File Manager
Download: 1348x
2. LeftHand Mała Księgowość
Download: 4917x
3. MISU pyFotoResize
Download: 676x
4. Lefthand CRM
Download: 1611x
5. MetadataExtractor
Download: 0x
6. RCP100
Download: 1096x
7. Predaj softveru
Download: 0x
8. MSH Free Autoresponder
Download: 0x
9. Guitar Scale Expert
Download: 1164x
10. Jinja24Doc
Download: 0x
11. Čistič
Download: 1227x
12. BASH History Suggest Box
Download: 5195x
©Pavel Kysilka - 2003-2017 | mailatlinuxsoft.cz | Design: www.megadesign.cz