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: 4606x
2.	FreeBSD Download: 8756x
3.	PCLinuxOS-2010 Download: 8308x
4.	alcolix Download: 10577x
5.	Onebase Linux Download: 9360x
6.	Novell Linux Desktop Download: 0x
7.	KateOS Download: 5818x

1.	xinetd Download: 2162x
2.	RDGS Download: 937x
3.	spkg Download: 4173x
4.	LinPacker Download: 9450x
5.	VFU File Manager Download: 2948x
6.	LeftHand Mała Księgowość Download: 6752x
7.	MISU pyFotoResize Download: 2510x
8.	Lefthand CRM Download: 3311x
9.	MetadataExtractor Download: 0x
10.	RCP100 Download: 2769x
11.	Predaj softveru Download: 0x
12.	MSH Free Autoresponder Download: 0x

linuxsoft.cz | Design: www.megadesign.cz