Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
"aplikovaná matematika"
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
Žánr:
NOT
elektronicke knihy
PSH:
znalostní systémy
Zrušit filtry
Zobrazit filtry (2)
Žánr:
NOT
elektronicke knihy
PSH:
znalostní systémy
Hlavní strana
Vyhledávání: "aplikovaná matematika"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
aplikovaná matematika
7
znalostní systémy
7
databázové systémy
6
softwarové inženýrství
5
sémantický web
3
umělá inteligence
2
algebra
1
více ...
internet
1
matematická analýza
1
matematická logika
1
matematický software
1
vyhledávání informací
1
znalostní management
1
zpracování dat
1
méně ...
Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
"aplikovaná matematika"
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Exploring and combining deductive and inductive reasoning in large libraries of formalized mathematics : abstract of doctoral thesis
Autor
Urban, Josef, 1973-
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Exploring and combining deductive and inductive reasoning in large libraries of formalized mathematics : dissertation
Autor
Urban, Josef, 1973-
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
7
NTK
Médium
7
Kniha
Signatura
5
Q - Věda
Autor
2
Asperti, Andrea, 1961-
2
Univerzita Karlova. Matematicko-fyzikální fakulta
2
Urban, Josef, 1973-
1
Bancerek, Grzegorz, 1966-
1
Borwein, Jonathan M., 1951-2016
1
Buchberger, Bruno, 1942-
více ...
1
Davenport, J. H. (James Harold), 1953-
1
Farmer, William M.
1
Kauers, Manuel
1
Kohlhase, Michael, 1964-
1
Trybulec, Andrzej, 1941-
Zobrazit vše ...
méně ...
Jazyk
7
angličtina
Žánr
4
sborníky konferencí
1
autoreferáty
1
disertace
Rok vydání
Od:
do:
PSH
7
aplikovaná matematika
znalostní systémy
6
databázové systémy
5
softwarové inženýrství
3
sémantický web
2
umělá inteligence
více ...
1
algebra
1
internet
1
matematická analýza
1
matematická logika
1
vyhledávání informací
1
znalostní management
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...