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: 4877x
2.	FreeBSD Download: 9064x
3.	PCLinuxOS-2010 Download: 8563x
4.	alcolix Download: 10945x
5.	Onebase Linux Download: 9660x
6.	Novell Linux Desktop Download: 0x
7.	KateOS Download: 6241x

1.	xinetd Download: 2412x
2.	RDGS Download: 937x
3.	spkg Download: 4758x
4.	LinPacker Download: 9964x
5.	VFU File Manager Download: 3197x
6.	LeftHand Mała Księgowość Download: 7202x
7.	MISU pyFotoResize Download: 2807x
8.	Lefthand CRM Download: 3562x
9.	MetadataExtractor Download: 0x
10.	RCP100 Download: 3119x
11.	Predaj softveru Download: 0x
12.	MSH Free Autoresponder Download: 0x

linuxsoft.cz | Design: www.megadesign.cz