Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
'
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
Doporučená témata:
databázové systémy
AND
znalostní systémy
AND
aplikovaná matematika
Zrušit filtry
Zobrazit filtry (3)
Doporučená témata:
databázové systémy
AND
znalostní systémy
AND
aplikovaná matematika
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
aplikovaná matematika
databázové systémy
znalostní systémy
softwarové inženýrství
4
sémantický web
3
umělá inteligence
2
internet
1
více ...
vyhledávání informací
1
méně ...
Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
'
, doba hledání: 0,04 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 : 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:
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:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
6
NTK
Médium
6
Kniha
Signatura
4
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
Kohlhase, Michael, 1964-
1
Trybulec, Andrzej, 1941-
Zobrazit vše ...
méně ...
Jazyk
6
angličtina
Žánr
3
sborníky konferencí
1
autoreferáty
1
disertace
Rok vydání
Od:
do:
PSH
6
aplikovaná matematika
6
databázové systémy
6
znalostní systémy
4
softwarové inženýrství
3
sémantický web
2
umělá inteligence
více ...
1
internet
1
vyhledávání informací
Zobrazit vše ...
méně ...
×
Načítá se...