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: 4866x
2.	FreeBSD Download: 9060x
3.	PCLinuxOS-2010 Download: 8559x
4.	alcolix Download: 10939x
5.	Onebase Linux Download: 9652x
6.	Novell Linux Desktop Download: 0x
7.	KateOS Download: 6236x

1.	xinetd Download: 2411x
2.	RDGS Download: 937x
3.	spkg Download: 4745x
4.	LinPacker Download: 9954x
5.	VFU File Manager Download: 3190x
6.	LeftHand Mała Księgowość Download: 7195x
7.	MISU pyFotoResize Download: 2800x
8.	Lefthand CRM Download: 3557x
9.	MetadataExtractor Download: 0x
10.	RCP100 Download: 3114x
11.	Predaj softveru Download: 0x
12.	MSH Free Autoresponder Download: 0x

linuxsoft.cz | Design: www.megadesign.cz